parasol-aser / D4
D4: Fast Concurrency Debugging with Parallel Differential Analysis
☆18Updated 5 years ago
Alternatives and similar repositories for D4:
Users that are interested in D4 are comparing it to the libraries listed below
- Generates loop invariants for program verification☆62Updated 4 years ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated last month
- Apron Numerical Abstract Domain Library☆125Updated last month
- ☆12Updated 2 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- ☆14Updated 10 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- ☆71Updated 7 years ago
- SymDiff-Differential-Program-Verifier☆34Updated last month
- A fuzzing framework for SMT solvers☆188Updated last year
- ☆24Updated 10 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 6 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- PC-miner tool for program chairs☆27Updated last month
- A unification-based alias analysis and related tools☆32Updated 6 months ago
- A compiler from TIP to llvm bitcode☆69Updated 5 months ago
- Duet: static analysis for unbounded concurrency☆25Updated last month
- Semantic program repair system for C programs☆99Updated 2 years ago
- solver for the reachability modulo theories problem☆60Updated last year
- Translate java jar files into Boogie programs☆12Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- ☆32Updated 5 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Teaching and Learning Software Verification via SVF☆33Updated 2 weeks ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago