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 ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 9 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
5827c45 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2018-12-08T03:27 CET (sv-comp) | ||
ce05754 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | CPAchecker 1.7-svn 29852 | 17 | 2018-12-08T23:42:44+01:00 | 5827c45 | |
7d845cd | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn b8d6131600+ | 12 | 2018-12-08T02:08:50+01:00 | ||
d1bf787 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 12 | 2018-12-06T10:19:19+01:00 | c406ca3 | |
63820ca | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 12 | 2018-12-05T13:34:18+01:00 | ||
183a0a1 | Inspect | CHECK( init(main()), LTL(G valid-free) ) | violation_witness | CPAchecker 1.7-svn 29852 | 17 | 2018-12-07T09:24:04+01:00 | 4ff5107 | |
549dfaf | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | violation_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-07T01:14:52+01:00 | 495279e | |
afcbdba | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 12 | 2018-12-10T10:49:49+01:00 | 8afadb6 | |
3de7880 | Inspect | CHECK( init(main()), LTL(G valid-deref) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 12 | 2018-12-08T04:59:46+01:00 | 4693ab6 |
Found 7 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
43d0ecc | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Symbiotic | 1 | 2017-12-03T00:28 CET (sv-comp) | ||
4ff5107 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | PredatorHP | 6 | 2017-12-01T22:01 CET (sv-comp) | ||
1eb7cf3 | Inspect | CHECK( init(main()), LTL(G valid-memtrack) ) | violation_witness | Map2Check | 3 | 2017-12-01T23:26 CET (sv-comp) | ||
c1b69a3 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 kind | 8 | 2017-12-02T11:17:30.797967 | ||
912a066 | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 4.6.0 incr | 16 | 2017-12-01T23:13:26.014478 | ||
c7e86af | Inspect | CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) | violation_witness | ESBMC 3.1 | 5 | 2017-12-01T09:35 CET (sv-comp) | ||
3dfb7d9 | 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 | 38 | 2017-12-01T08:21 CET (sv-comp) |
Found 0 witnesses for program ../../../comp/sv-benchmarks/c/memsafety/test-0102_false-valid-memtrack.i, bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/bee1d9cb23a1858cdadee487aabd2128750878c38f6807b7f9f2b4022b0122b2.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |