Pinned issues
Issues
- 6
More precise data model in task definitions?
#1125 opened by PhilippWendler - 0
AWS tasks with wrong expected verdict due to truncating pointer-to-int cast
#1087 opened by PhilippWendler - 3
Juliet tasks do not have a license
#1018 opened by MartinSpiessl - 3
PR #920 needs some fixes (undefined behavior was overlooked, fixed task simplified the program too much)
#1105 opened by MartinSpiessl - 3
- 6
- 2
- 3
nla-digbench tasks freire{1,2}.c are flawed
#1118 opened by MartinSpiessl - 2
Fix diff_ci.sh and remove empty dummy Makefiles
#1120 opened by PhilippWendler - 3
Category Structure for SV-COMP 2020
#819 opened by dbeyer - 0
Category Structure for SV-COMP 2021
#1127 opened by MartinSpiessl - 2
Use unpreprocessed files in task definitions
#1124 opened by MartinSpiessl - 3
Do not track preprocessed files in this repository
#1123 opened by MartinSpiessl - 1
Compliance with Apache License 2.0
#1097 opened by MartinSpiessl - 10
Tasks from PR #808 contain undefined behavior
#813 opened by MartinSpiessl - 2
StringBuilderConstructors01 exposes in fact a violation_witness due to overflow when following Java Spec
#1103 opened by pointhi - 4
- 1
Undefined behaviour from freed pointers
#1039 opened by kfriedberger - 3
new memory safety benchmark
#1016 opened by skanav - 0
Uninitialized structs on the stack in AWS tasks
#1090 opened by gernst - 0
Contribution guidelines outdated
#812 opened by PhilippWendler - 0
SMT-lib Benchmark Formulas from Boolean Programs
#1093 opened by dbeyer - 0
Undefined behavior in task `eureka_01-1.yml`
#1092 opened by MartinSpiessl - 0
- 2
Tasks from libowfat are actually from dietlibc
#908 opened by MartinSpiessl - 3
Incorrect benchmark label
#1021 opened by viktormalik - 4
Empty lists in extern function declarators
#1079 opened by tomsik68 - 1
- 2
- 2
Add the java-ranger test cases to the java compile.xml
#1017 opened by mmuesly - 2
- 1
insertion_sort-1.c seems to have undefined behavior
#1058 opened by dbeyer - 4
- 1
All AWS-C-Common tasks redefine library functions (undefined behavior)
#1043 opened by PhilippWendler - 2
Tasks from AWS-C-Common violate strict aliasing assumption in aws_is_mem_zeroed (undefined behavior)
#1042 opened by PhilippWendler - 2
- 5
[WIP] CI is too slow
#877 opened by kfriedberger - 7
- 3
New function __VERIFIER_base_pointer
#818 opened by gernst - 0
- 1
- 9
- 10
- 1
Property definitions for standard Java exceptions
#884 opened by dbeyer - 15
Inappropriate benchmarks in MemSafety
#841 opened by versokova - 1
Wrong verdict on seq-mthreaded benchmarks
#849 opened by mikhailramalho - 2
- 1
- 1
Include more non-linear programs
#796 opened by dbeyer - 1