Issues
- 0
- 0
Add option to use a specific generator
#43 opened by rafaelsamenezes - 1
Support to check floating-point arithmetic
#42 opened by hbgit - 0
Add support to verify concurrent programs
#41 opened by hbgit - 0
Add new subcategories from SV-COMP
#40 opened by hbgit - 1
Crucible support as a Symbolic Engine
#37 opened by rafaelsamenezes - 1
Update LLVM to 8.0
#39 opened by hbgit - 2
Support the reach_error() function
#30 opened by hbgit - 0
Add support to Termination Analysis
#38 opened by hbgit - 0
KLEE crash incorrect results
#36 opened by hbgit - 1
Update KLEE
#35 opened by hbgit - 0
CRABLLVM generates UNKNOWN result
#34 opened by hbgit - 0
Fix incorrect result in ReachSafety-ControlFlow
#22 opened by hbgit - 0
Fix incorrect results in MemSafety-MemCleanup
#25 opened by hbgit - 1
Skip call nondet generator
#33 opened by hbgit - 1
Fix incorrect CRAB call to fuzzer
#32 opened by hbgit - 0
Adopt a code slicer
#31 opened by hbgit - 0
Fix incorrect results in NoOverflows-Other
#27 opened by hbgit - 0
Fix incorrect results in NoOverflows-BitVectors
#26 opened by hbgit - 0
Fix incorrect results in MemSafety-Other
#24 opened by hbgit - 0
Fix incorrect results in ReachSafety-Heap
#23 opened by hbgit - 2
Fix incorrect results in ReachSafety-Arrays
#21 opened by hbgit - 0
CII Best Practices Badge Program
#28 opened by hbgit - 0
Add SPDX-License-Identifier
#20 opened by hbgit - 0
Add Coverage report
#29 opened by hbgit - 0
Improving counterexample generation
#12 opened by hbgit - 1
Update strategy to apply smt solver
#19 opened by hbgit - 3
Clean up branches
#17 opened by hbgit - 0
Can symbolic execution tool KLEE run in parallel?
#18 opened by hbgit - 0
LLVM Optimizations with KLEE
#16 opened by rafaelsamenezes - 0
Caller Refactoring
#11 opened by hbgit - 3
Updating front-end
#8 opened by hbgit - 0
Program invariant generation
#15 opened by hbgit - 0
Adding robots to check require tests and other checks to improve the quality of the code
#9 opened by hbgit - 7
Improving the code style
#6 opened by hbgit - 0
Improving testing tool
#7 opened by hbgit - 0
Improving the Dockerfile documentation
#5 opened by hbgit - 0
Fix build crab-llvm
#10 opened by hbgit