A description of this web service can be found in the CAV paper "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses" (more material).
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 17 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
d5b6dca | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2018-12-08T06:35 CET (sv-comp) | ||
d3d52ac | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-08T08:35:47+01:00 | 16e5883 | |
6b5cb2c | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-06T09:48:08+01:00 | e9bcf07 | |
e9bcf07 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 9 | 2018-12-05T15:09:46+01:00 | ||
1f40070 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-06T09:20:16+01:00 | bfd7823 | |
66caf08 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-06T09:10:49+01:00 | 38d1aba | |
8ee2d94 | Inspect | CHECK( init(main()), LTL(G valid-free) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-07T09:16:48+01:00 | 03dd884 | |
6317a5d | Inspect | CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | SMACK 1.9.3 | 4 | 2018-12-08T07:13:43 | ||
16e5883 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn b8d6131600+ | 9 | 2018-12-08T03:45:13+01:00 | ||
d20e3c7 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-08T23:42:17+01:00 | d5b6dca | |
f15d1e1 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-08T22:09:34+01:00 | 6317a5d | |
92b2a74 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-07T01:16:00+01:00 | a7386a0 | |
5ea1a56 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 10 | 2018-12-06T09:42:07+01:00 | 1ccbc77 | |
ecddc9f | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-08T05:04:10+01:00 | 6fb014c | |
21b6cfe | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-06T10:15:39+01:00 | 1a89936 | |
70d975c | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Symbiotic | 1 | 2018-12-08T16:52 CET (sv-comp) | ||
c82d270 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Pinaka | 3 | 2018-12-06T23:58 CET (sv-comp) |
Found 14 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
c0b3eaf | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2017-12-02T23:52 CET (sv-comp) | ||
03dd884 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | PredatorHP | 5 | 2017-12-01T22:19 CET (sv-comp) | ||
f702243 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Map2Check | 3 | 2017-12-01T23:17 CET (sv-comp) | ||
5d79064 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 9 | 2017-12-01T08:28:38+01:00 | ||
07daaf6 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 kind | 4 | 2017-12-02T10:54:22.250727 | ||
00f02d9 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 incr | 4 | 2017-12-01T23:37:47.045834 | ||
c5df904 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 3.1 | 5 | 2017-12-01T09:39 CET (sv-comp) | ||
a3aaddf | Inspect | CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CBMC | 10 | 2017-12-01T08:23 CET (sv-comp) | ||
9f66f9d | Inspect | CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | 2LS | 6 | 2017-12-01T08:22 CET (sv-comp) | ||
c8f20f4 | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 4.6.0 | 3 | 2017-12-03T02:19:40.078950 | ||
44a7eed | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 4.6.0 | 3 | 2017-12-02T15:52:30.381995 | ||
5a3b7af | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 3.1 | 9 | 2017-12-01T18:27 CET (sv-comp) | ||
2df15ea | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | CBMC | 9 | 2017-12-01T18:44 CET (sv-comp) | ||
1e85a71 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | 2LS | 33 | 2017-12-01T12:10 CET (sv-comp) |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i, ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/ebc37ecfecc7c5de478c7ef6010e7e78211b602640c4025568a671e539fe770c.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |