issues
search
sosy-lab
/
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184
stars
169
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
termination-recursive-malloc/chunk3.c: remove double free
#1258
tautschnig
closed
3 years ago
0
Double free in termination-recursive-malloc/chunk3.i
#1257
tautschnig
closed
3 years ago
1
Avoid uninitialized variable usage in c/bitvector/s3_clnt_?.BV.c.cil-2a.c
#1256
Eiram
closed
3 years ago
0
Added BSD 2-clause license to licenses, REUSE spec to each Java file.
#1255
cyrille-artho
closed
3 years ago
7
seq-mthreaded: fix termination lablel at several benchmraks
#1254
mchalupa
closed
3 years ago
0
Properly initialize local variables in c/aws-c-common/mem*.i
#1253
PhilippWendler
closed
3 years ago
1
Initializing local variables to fix undefined behaviors
#1252
zvonimir
closed
3 years ago
1
busybox date-1: label as undefined
#1251
mchalupa
closed
3 years ago
0
Uninitialized reads in date-1 in busybox
#1250
mchalupa
closed
3 years ago
0
Fix verdict of value-bounded freire1 tasks to 'true'
#1249
lembergerth
closed
3 years ago
1
aws-c-common: ensure allocation of sufficient size
#1248
tautschnig
closed
3 years ago
0
MemSafety: fix labelling of three busybox benchmarks
#1247
mchalupa
closed
3 years ago
3
Invalid memsafety labelling of three busybox benchmarks
#1246
mchalupa
closed
3 years ago
0
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
#1245
zvonimir
opened
3 years ago
4
Fix problems of undefined functions in aws-c-common
#1244
tautschnig
closed
3 years ago
5
seq-* benchmarks: Remove use of function without definition
#1243
tautschnig
closed
3 years ago
4
Fix verdicts for bounded divbin tasks
#1242
MartinSpiessl
closed
3 years ago
0
Undefined Behavior in c/loops/linear_search.c
#1241
michael-schwarz
closed
3 years ago
4
Incorrectly labeled termination benchmarks in seq-mthreaded/
#1240
mchalupa
closed
3 years ago
0
nla-digibench: fix function declaration
#1239
mchalupa
closed
3 years ago
3
Incorrectly labeled benchmarks in nla-digibench-scaling
#1238
mchalupa
closed
3 years ago
4
Inconsistency in unreach-call verdicts for verifythis: tree_del_rec.yml, tree_del_iter.yml and tree_max.yml
#1237
holznerst
opened
3 years ago
1
change labelling for some Juliet tasks.
#1236
kfriedberger
closed
3 years ago
6
Fix labelling of uthash tasks with property violation memtrack
#1235
kfriedberger
closed
3 years ago
5
Duplicate Verification Tasks
#1234
dbeyer
closed
3 years ago
3
Verdict for ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko.cil.i
#1233
zvonimir
closed
3 years ago
1
Fix two invalid dereferences in if_etherip-fixed-double-free
#1232
mchalupa
closed
3 years ago
0
Move ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point.cil.out to TODO directory
#1231
sim642
closed
3 years ago
0
Replace extern ftw function with mock implementation in goblint-regression
#1230
sim642
closed
3 years ago
0
busybox: initialize a variable in getlogin_r model
#1229
mchalupa
closed
3 years ago
0
Added ldv_ prefix to strlen and strerror function definitions
#1228
zvonimir
closed
3 years ago
4
Wrong verdicts in CWE369*bad_version2
#1227
peterschrammel
closed
3 years ago
2
Fix confusing mismatch between yml file and benchmark directory
#1226
peterschrammel
closed
3 years ago
0
missing function definition in goblint-regression benchmarks?
#1225
omainv
closed
3 years ago
4
Question about usage of VERIFIER_assert
#1224
amordahl
closed
3 years ago
5
Update coverage properties again
#1223
lembergerth
closed
3 years ago
0
Yet another data race
#1222
hernanponcedeleon
closed
3 years ago
0
Passing size of 0 to malloc leads to assertion violation
#1221
zvonimir
closed
3 years ago
0
Update nla-digbench-scaling (continuation of PR #1200)
#1220
MartinSpiessl
closed
3 years ago
1
Update the verdict for the good task
#1219
mmuesly
closed
3 years ago
1
Solved data races
#1218
hernanponcedeleon
closed
3 years ago
0
AWS benchmarks relaying on htonl and friends but spec is not provided - what is their spec?
#1217
zvonimir
closed
3 years ago
7
Restore original benchmark semantics
#1216
hernanponcedeleon
closed
3 years ago
0
Seed more aws bugs
#1215
zvonimir
closed
3 years ago
0
Add SPDX license header to eca-rers2012
#1214
lembergerth
closed
3 years ago
2
CI for coverage properties
#1213
lembergerth
opened
3 years ago
1
Add spdx licenses to seq-mthreaded
#1212
lembergerth
closed
3 years ago
7
Seeded an off-by-one bug
#1211
zvonimir
closed
3 years ago
3
Combinations pals lcr problem12 label0
#1210
lembergerth
closed
3 years ago
4
Update coverage properties
#1209
lembergerth
closed
3 years ago
4
Previous
Next