Practical-Formal-Methods adiff issues

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Improve documentation (now that this project is public)

#126 chkl opened 5 years ago
0
incompleteness: seahorn (81)

#125 chkl closed 5 years ago
0
unsound crab: TODO

#124 chkl closed 5 years ago
3
distribute survey to UdS

#123 chkl closed 5 years ago
0
[unsoundness/undefined-behavior] crab-llvm, uninitialized variable

#122 chkl closed 5 years ago
1
unsoundness: crab-llvm (recursive function)

#121 chkl closed 5 years ago
1
Type annotator

#120 chkl opened 5 years ago
0
incompleteness: crab-llvm(pk)

#119 chkl closed 5 years ago
1
Consensus

#118 chkl closed 5 years ago
0
Docker inside

#117 chkl closed 5 years ago
0
Child processes of Smack (z3) are not completely terminated

#116 chkl closed 6 years ago
1
nevermind

#115 chkl closed 6 years ago
0
unsound: ultimate + cpachecker (undefined behavior)

#114 chkl closed 5 years ago
0
unsound: ultimate + cpachecker

#113 chkl closed 5 years ago
1
unsound: sea*/crab-llvm (overflow)

#112 chkl closed 5 years ago
1
compare tools ("relative completeness")

#111 chkl closed 5 years ago
0
EXP08: crab-llvm with different domains (int, zones, rtz)

#110 chkl closed 5 years ago
2
Cleanup

#109 chkl closed 6 years ago
0
incomplete: sea*

#108 chkl closed 5 years ago
1
feature: trigger re-run (with edits possibly) from web-UI

#107 chkl closed 5 years ago
0
unsigned int: weird

#106 chkl closed 6 years ago
0
cbmc?: Bitvectors complicated

#105 chkl closed 5 years ago
3
cpachecker: tautological comparisons between boolean expressions and ints

#104 chkl closed 5 years ago
1
Increase unroll bounds for Smack

#103 chkl closed 6 years ago
0
Create a survey

#102 chkl closed 5 years ago
1
Bug: exp06 got stuck

#101 chkl closed 5 years ago
2
Super weird

#100 chkl closed 6 years ago
1
smack: reach uneven number

#99 chkl closed 6 years ago
3
smack: `while(nondet_bool)`

#98 chkl closed 5 years ago
2
smack: `i != 1` in small loop

#97 chkl closed 6 years ago
2
smack: `b[x] == 42 + x`

#96 chkl closed 5 years ago
0
sea* assert(false) in loop

#95 chkl closed 5 years ago
3
cpachecker: alias

#94 chkl closed 6 years ago
1
cpachecker: `nd() * 2 != 0`

#93 chkl closed 5 years ago
3
cpachecker: (function called with reference modifies variable)

#92 chkl closed 5 years ago
2
comparing function pointer with int

#91 chkl closed 6 years ago
1
cpachecker (comparing uint that was casted to int with MIN_INT)

#90 chkl closed 6 years ago
1
Generic queries

#89 chkl closed 6 years ago
0
Instrumentation: remove all occurences of ~goto ERROR~

#88 chkl closed 6 years ago
0
Feature: Backup

#87 chkl closed 6 years ago
0
Fill "findings" column of the "Confront authors project"

#86 chkl closed 5 years ago
2
EXP06: Big (use all files)

#85 chkl closed 5 years ago
3
observed: instrumentation inside` __VERIFIER_assert`

#84 chkl closed 6 years ago
0
EXP05: small experiment for conjunct size (1-32)

#83 chkl closed 5 years ago
1
separate generator for constants

#82 chkl closed 6 years ago
1
Beam2

#81 chkl closed 6 years ago
0
Travis

#80 chkl closed 6 years ago
0
EXP02: "deep", take 25 top disagreement from EXP01, run with 120/120, random-uniform.

#79 chkl closed 5 years ago
0
EXP03: compare "batch"-mode with regular mode

#78 chkl closed 5 years ago
1
Take better caching

#77 chkl closed 6 years ago
0