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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.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_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
6396b21 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2018-12-07T22:59 CET (sv-comp) | ||
65f9a1d | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-08T23:44:50+01:00 | 6396b21 | |
846f872 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-08T07:46:43+01:00 | 809b4ab | |
3fe216f | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:18:31+01:00 | 688a513 | |
263903f | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-05T11:39:31+01:00 | ||
d0506a2 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 13 | 2018-12-08T05:02:03+01:00 | 5de3d8e | |
7d92e77 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 13 | 2018-12-06T10:15:38+01:00 | 2e0e6c1 | |
809b4ab | Inspect | CHECK( init(main()), LTL(G valid-free) ) | violation_witness | CPAchecker 1.7-svn b8d6131600+ | 6 | 2018-12-07T21:44:08+01:00 | ||
88e8029 | Inspect | CHECK( init(main()), LTL(G valid-free) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-07T09:20:04+01:00 | ab1d586 | |
f95398a | Inspect | CHECK( init(main()), LTL(G valid-free) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:16:41+01:00 | 70ca988 | |
abe337d | 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 | 3 | 2018-12-08T16:16:47 | ||
a90808b | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-08T22:09:33+01:00 | abe337d | |
255a7a5 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-07T01:07:27+01:00 | 2395764 | |
f7ae887 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:48:41+01:00 | 263903f | |
d1c43c3 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:41:25+01:00 | e30d082 | |
5680130 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Symbiotic | 1 | 2018-12-08T10:47 CET (sv-comp) | ||
86d5759 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Pinaka | 3 | 2018-12-07T09:54 CET (sv-comp) |
Found 14 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
1a83c01 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2017-12-03T00:29 CET (sv-comp) | ||
ab1d586 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | PredatorHP | 4 | 2017-12-01T21:56 CET (sv-comp) | ||
258a16d | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Map2Check | 2 | 2017-12-01T23:56 CET (sv-comp) | ||
d90b669 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 kind | 4 | 2017-12-02T11:17:56.044031 | ||
5c0165d | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 incr | 4 | 2017-12-01T23:36:34.728017 | ||
7f5bc46 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 3.1 | 4 | 2017-12-01T09:20 CET (sv-comp) | ||
f90b095 | 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 | 5 | 2017-12-01T08:33 CET (sv-comp) | ||
fb075a1 | 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 | 4 | 2017-12-01T08:19 CET (sv-comp) | ||
1d57faa | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-01T08:30:51+01:00 | ||
75ac7c2 | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 4.6.0 | 3 | 2017-12-02T19:39:33.522526 | ||
c7546a9 | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 4.6.0 | 3 | 2017-12-02T13:19:59.791524 | ||
c8e4825 | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 3.1 | 5 | 2017-12-01T17:26 CET (sv-comp) | ||
b7dd0b5 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | CBMC | 4 | 2017-12-01T15:20 CET (sv-comp) | ||
9de1233 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | 2LS | 15 | 2017-12-01T12:08 CET (sv-comp) |
Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i, aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/aa228e3d9776185144556621b03239d0a5a4c9d13b95f669fc20e6f611e6608d.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |