srg-imperial / klee-floatLinks
KLEE with floating point support (unmaintained)
☆19Updated 3 years ago
Alternatives and similar repositories for klee-float
Users that are interested in klee-float are comparing it to the libraries listed below
Sorting:
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- Symbolic PathFinder☆157Updated last week
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated last month
- Automated program repair bibliography, tools and benchmarks.☆80Updated 5 months ago
- A tool for identifying patch correctness in test-based program repair☆20Updated 5 years ago
- ☆26Updated last month
- Dynamic detection of likely invariants☆235Updated last week
- ☆34Updated last month
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- A unification-based alias analysis and related tools☆34Updated 11 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 11 months ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- Semantic program repair system for C programs☆100Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 2 years ago
- ☆58Updated last year
- ☆41Updated 2 years ago
- ☆28Updated 3 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 6 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- ☆12Updated 3 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆228Updated 6 years ago
- Pointer Analysis with Tunable Precision☆26Updated 9 years ago
- ☆20Updated 6 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- Program dependence graph in LLVM☆42Updated last month
- A mutation tool for source and IR☆13Updated 7 years ago
- ☆14Updated 3 years ago