issues
search
ApproxSymate
/
klee
KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
All fresh variables have length 8
#98
Himeshi
opened
6 years ago
0
Memory out of bound error when evaluating compound computation involving a math call
#97
Himeshi
opened
6 years ago
0
Add option to approximate pointers based on values they're pointing to
#96
Himeshi
closed
6 years ago
0
Default trip count
#95
domainexpert
closed
6 years ago
0
Obtain line number and calling function name for memcpy calls
#94
Himeshi
closed
6 years ago
0
Expression print fix
#93
Himeshi
closed
6 years ago
0
Expression print fix
#92
Himeshi
closed
6 years ago
0
Store expression using their address as key to avoid multiple entries…
#91
Himeshi
closed
6 years ago
1
Handle the case when target is null when calling executeStore()
#90
domainexpert
closed
6 years ago
0
Handle math calls
#89
Himeshi
closed
6 years ago
2
Added debug information for loop trip counts found
#88
domainexpert
closed
6 years ago
0
Remove saving expressions when values are loaded for the first time
#87
Himeshi
closed
6 years ago
1
Limit checking of validity to the case when no -no-branch-check
#86
domainexpert
closed
6 years ago
0
Added -no-branch-check option
#85
domainexpert
closed
6 years ago
0
Store expressions for loaded array elements
#84
Himeshi
closed
6 years ago
0
Error when trying to compute real solutions
#83
Himeshi
opened
6 years ago
2
Modify automatic error expression writing to obtain error expressions after each iteration for loops
#82
Himeshi
opened
6 years ago
0
Change probability computation to use both src and dst basic blocks
#81
Himeshi
closed
6 years ago
1
Issue71 Keep track of error expressions of all program variables in a global map
#80
Himeshi
closed
6 years ago
0
Added missing creation of add expression in ErrorState::propagateError
#79
domainexpert
closed
6 years ago
0
Divide by zero occurring when division is performed with a result of a multiplication
#78
Himeshi
closed
6 years ago
6
Enclose the body of Executor::getRealSymbolicSolution if ifdefs
#77
domainexpert
closed
6 years ago
0
Path condition real solutions
#76
domainexpert
closed
6 years ago
1
Format kquery_precision_error file for automatic approximation
#75
Himeshi
closed
6 years ago
0
Generate multiple ktest files for a path condition
#74
domainexpert
closed
6 years ago
0
Use Z3 to generate multiple input sets for the same path condition
#73
Himeshi
closed
6 years ago
0
Automate input detection
#72
Himeshi
opened
6 years ago
0
Keep track of error expressions of all program variables in a global map
#71
Himeshi
closed
6 years ago
3
[WIP] Real arithmetc domain solving for solving constraints with error
#70
domainexpert
closed
1 month ago
1
Fix to path condition with error
#69
domainexpert
closed
6 years ago
0
Add pretty printed path condition (without error) to .kquery_precisio…
#68
Himeshi
closed
6 years ago
0
Fix incorrect path conditions with error
#67
Himeshi
closed
6 years ago
0
Fix to crash due to deallocated Array object
#66
domainexpert
closed
6 years ago
0
Added test for function nullity in Executor::executeInstruction()
#65
domainexpert
closed
6 years ago
0
Added missing CMakeLists.txt entries
#64
domainexpert
closed
6 years ago
0
Added missing FCMP_UGT and FCMP_OGT cases
#63
domainexpert
closed
6 years ago
0
Scale numerator to avoid divide by zero error
#62
Himeshi
closed
6 years ago
8
WIP Scale numerator when dividing to avoid divide by zero error
#61
Himeshi
closed
6 years ago
0
Non-approximable symbolic index
#60
domainexpert
closed
1 month ago
4
Type crashes fix
#59
domainexpert
closed
6 years ago
0
Symbolic index fix
#58
domainexpert
closed
6 years ago
1
Append outputString when creating new ErrorState in order to facilita…
#57
Himeshi
closed
6 years ago
1
Maintain symbolic expressions containing error for path conditions
#56
Himeshi
closed
6 years ago
2
Add path length to .prob file
#55
Himeshi
closed
6 years ago
0
Change computation of path probability to multiply branch probabilities
#54
Himeshi
closed
6 years ago
0
Implementation of path scoring based more/less probable edges count
#53
domainexpert
closed
6 years ago
2
Fixed the computation of path probability in SymbolicError::recompute…
#52
domainexpert
closed
6 years ago
0
Added support for outputing line numbers visited by a path in test*.l…
#51
domainexpert
closed
6 years ago
1
Issue47 Maintain symbolic expressions containing error for path conditions
#50
Himeshi
closed
6 years ago
2
Fix required for the static path probability analysis
#49
domainexpert
closed
6 years ago
1
Next