parasol-aser / D4
D4: Fast Concurrency Debugging with Parallel Differential Analysis
☆18Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for D4
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- ☆12Updated 5 months ago
- ☆9Updated 5 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆20Updated 5 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- This is java implementation of Graspan.☆20Updated 11 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- A unification-based alias analysis and related tools☆30Updated last month
- Static program analysis for TIP☆282Updated last year
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- ☆26Updated 3 weeks ago
- Semantic program repair system for C programs☆97Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Dynamic detection of likely invariants☆214Updated last week
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 5 years ago
- A compiler from TIP to llvm bitcode☆65Updated 2 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- A fuzzing framework for SMT solvers☆185Updated last year