Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Issues: sosy-lab/sv-benchmarks

Repository moved to GitLab
#1308 by dbeyer was closed Oct 3, 2021
Closed 1
73 Open 208 Closed
73 Open 208 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Another invalid memory accesses in some ldv benchmarks issue with benchmark
#554 opened Dec 4, 2017 by mchalupa
16
Undefined behaviour for 43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c issue with benchmark
#552 opened Dec 4, 2017 by lucasccordeiro
15
Undefined behaviour for module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i issue with benchmark
#551 opened Dec 4, 2017 by lucasccordeiro
Add a CI check that no undefined functions are present CI Continous Integration
#548 opened Nov 28, 2017 by tautschnig
@tautschnig
4
Undefined behavior in tasks due to division by zero issue with benchmark
#504 opened Nov 15, 2017 by lembergerth
@danieldietsch @lembergerth
59
Tasks with expected undefined behavior and another result in several directories C Task in language C issue with benchmark
#480 opened Sep 29, 2017 by PhilippWendler
@Heizmann @danieldietsch
6
Strict aliasing violations in SVCOMP benchmarks? issue with benchmark
#449 opened Feb 8, 2017 by shaobo-he
8
Out of bound accesses in BusyBox? issue with benchmark
#431 opened Jan 8, 2017 by shaobo-he SV-COMP'18
3
Potential issue with munmap model in busy box issue with benchmark
#430 opened Jan 7, 2017 by zvonimir SV-COMP'18
4
Score schema for the SoftwareSystems category category definitions
#336 opened Dec 13, 2016 by mikhailramalho SV-COMP'18
8
ntdriver benchmarks are not memory safe issue with benchmark
#325 opened Dec 12, 2016 by mchalupa SV-COMP'18
9
Files with known overflows outside of Bitvector category issue with benchmark
#276 opened Nov 29, 2016 by PhilippWendler
6
New category for undefined behavior? category definitions
#261 opened Nov 27, 2016 by dbeyer SV-COMP'18
9
Benchmarks depending on undefined functions in DeviceDriversLinux64 issue with benchmark
#230 opened Nov 21, 2016 by mchalupa
27
seq-pthread benchmarks have misleading indentation issue with benchmark
#210 opened Nov 15, 2016 by delcypher
2
Improve compilation checks build system and metadata
#194 opened Nov 7, 2016 by PhilippWendler
3 of 4 tasks
4
Invalid memory access in DeviceDriversLinux64 issue with benchmark
#191 opened Nov 3, 2016 by shaobo-he
17
Define and check license requirements help wanted
#165 opened Oct 23, 2016 by PhilippWendler
57 of 71 tasks
@dbeyer
9
Increase Traceability and Reduce Maintenance Effort for Verification Tasks build system and metadata
#123 opened Nov 8, 2015 by dbeyer
3
Incorrect pre-processing of source files leads to incompatible C library redeclarations issue with benchmark
#121 opened Nov 8, 2015 by delcypher
18
seq-mthread/pals_STARTPALS_ActiveStandby* benchmarks have suspicious self comparision issue with benchmark
#72 opened Oct 21, 2015 by delcypher
1
veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i has tautological compare issue with benchmark
#44 opened Oct 11, 2015 by delcypher
1
Ping original submitters to fix errors spotted by continuous integration checks
#7 opened Sep 11, 2015 by tautschnig
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.