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
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

Potential issue with munmap model in busy box issue with benchmark
#430 opened Jan 7, 2017 by zvonimir SV-COMP'18
4
seq-mthread/pals_STARTPALS_ActiveStandby* benchmarks have suspicious self comparision issue with benchmark
#72 opened Oct 21, 2015 by delcypher
1
Incorrect pre-processing of source files leads to incompatible C library redeclarations issue with benchmark
#121 opened Nov 8, 2015 by delcypher
18
Increase Traceability and Reduce Maintenance Effort for Verification Tasks build system and metadata
#123 opened Nov 8, 2015 by dbeyer
3
Define and check license requirements help wanted
#165 opened Oct 23, 2016 by PhilippWendler
57 of 71 tasks
@dbeyer
9
Invalid memory access in DeviceDriversLinux64 issue with benchmark
#191 opened Nov 3, 2016 by shaobo-he
17
Improve compilation checks build system and metadata
#194 opened Nov 7, 2016 by PhilippWendler
3 of 4 tasks
4
seq-pthread benchmarks have misleading indentation issue with benchmark
#210 opened Nov 15, 2016 by delcypher
2
Benchmarks depending on undefined functions in DeviceDriversLinux64 issue with benchmark
#230 opened Nov 21, 2016 by mchalupa
27
New category for undefined behavior? category definitions
#261 opened Nov 27, 2016 by dbeyer SV-COMP'18
9
Files with known overflows outside of Bitvector category issue with benchmark
#276 opened Nov 29, 2016 by PhilippWendler
6
ntdriver benchmarks are not memory safe issue with benchmark
#325 opened Dec 12, 2016 by mchalupa SV-COMP'18
9
Ping original submitters to fix errors spotted by continuous integration checks
#7 opened Sep 11, 2015 by tautschnig
5
Score schema for the SoftwareSystems category category definitions
#336 opened Dec 13, 2016 by mikhailramalho SV-COMP'18
8
Out of bound accesses in BusyBox? issue with benchmark
#431 opened Jan 8, 2017 by shaobo-he SV-COMP'18
3
Strict aliasing violations in SVCOMP benchmarks? issue with benchmark
#449 opened Feb 8, 2017 by shaobo-he
8
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
Undefined behavior in tasks due to division by zero issue with benchmark
#504 opened Nov 15, 2017 by lembergerth
@danieldietsch @lembergerth
59
Add a CI check that no undefined functions are present CI Continous Integration
#548 opened Nov 28, 2017 by tautschnig
@tautschnig
4
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
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
Another invalid memory accesses in some ldv benchmarks issue with benchmark
#554 opened Dec 4, 2017 by mchalupa
16
Floating-point rounding mode set directly due to preprocessing issue with benchmark
#571 opened Jul 9, 2018 by zvonimir
1
Thessaloniki Fix: Verification Tasks should ideally not have undefined functions. issue with benchmark
#613 opened Oct 19, 2018 by dbeyer
Use of __VERIFIER_nondet_* functions that aren't specified in SV-COMP rules affects SV-COMP rules C Task in language C issue with benchmark
#1304 opened Sep 7, 2021 by RyanGlScott
1
ProTip! Mix and match filters to narrow down what you’re looking for.