Skip to content
This repository was 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
Clear current search query, filters, and sorts
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

Undefined behavior in tasks due to division by zero issue with benchmark
#504 opened Nov 15, 2017 by lembergerth
@danieldietsch @lembergerth
59
Benchmarks depending on undefined functions in DeviceDriversLinux64 issue with benchmark
#230 opened Nov 21, 2016 by mchalupa
27
Incorrect pre-processing of source files leads to incompatible C library redeclarations issue with benchmark
#121 opened Nov 8, 2015 by delcypher
18
Invalid memory access in DeviceDriversLinux64 issue with benchmark
#191 opened Nov 3, 2016 by shaobo-he
17
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
[Issue with benchmark] loop-floats-scientific-comp/loop4_true-unreach-call.c verdict issue with benchmark
#693 opened Nov 19, 2018 by animeshbchowdhury
14
Tasks from PR #808 contain undefined behavior issue with benchmark
#813 opened Sep 10, 2019 by MartinSpiessl
10
ntdriver benchmarks are not memory safe issue with benchmark
#325 opened Dec 12, 2016 by mchalupa SV-COMP'18
9
New category for undefined behavior? category definitions
#261 opened Nov 27, 2016 by dbeyer SV-COMP'18
9
Define and check license requirements help wanted
#165 opened Oct 23, 2016 by PhilippWendler
57 of 71 tasks
@dbeyer
9
Calls to string functions that are not defined
#782 opened Jan 24, 2019 by ccadar
8
Strict aliasing violations in SVCOMP benchmarks? issue with benchmark
#449 opened Feb 8, 2017 by shaobo-he
8
Score schema for the SoftwareSystems category category definitions
#336 opened Dec 13, 2016 by mikhailramalho SV-COMP'18
8
More precise data model in task definitions? affects SV-COMP rules C Task in language C
#1125 opened Sep 22, 2020 by PhilippWendler
6
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
Files with known overflows outside of Bitvector category issue with benchmark
#276 opened Nov 29, 2016 by PhilippWendler
6
[WIP] CI is too slow CI Continous Integration top priority Should be fixed ASAP
#877 opened Nov 8, 2019 by kfriedberger
@kfriedberger
5
Ping original submitters to fix errors spotted by continuous integration checks
#7 opened Sep 11, 2015 by tautschnig
5
Questionable verdict of ldv-validator-v0.8/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_ldv-val-v0.8.cil.out.i C Task in language C
#1245 opened Nov 27, 2020 by zvonimir
4
Unreach-call verdict of ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point.cil.out.yml C Task in language C issue with benchmark
#1207 opened Nov 2, 2020 by sim642
4
Seeding bugs in AWS benchmarks
#1183 opened Oct 24, 2020 by zvonimir
4
Reachability benchmarks with overflow C Task in language C issue with benchmark
#1166 opened Oct 9, 2020 by hernanponcedeleon
4
How to handle unspecified behaviour like OutOfMemoryError? Java Task in language Java
#1096 opened Apr 8, 2020 by pointhi
4
Unreasonably large stack variables in array benchmarks issue with benchmark
#640 opened Oct 24, 2018 by vlstill
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.