parof / rat
🐀 Regular Expression Denial of Service analyzer.
☆24Updated 7 months ago
Related projects: ⓘ
- While language static analyzer☆10Updated 3 years ago
- Apron Numerical Abstract Domain Library☆102Updated last month
- An SMT Solver for string constraints☆33Updated last week
- SymDiff-Differential-Program-Verifier☆29Updated 2 weeks ago
- ☆24Updated 2 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆49Updated 4 months ago
- Static checker for Java☆83Updated 9 months ago
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- ☆8Updated 4 months ago
- The Gillian Platform main repository☆75Updated last week
- The Termination Problem Database☆27Updated 3 months ago
- Duet: static analysis for unbounded concurrency☆23Updated last month
- The Ultimate program analysis framework.☆194Updated this week
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- A fuzzing framework for SMT solvers☆183Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- ☆20Updated last year
- JReduce is a tool to reduce Java ByteCode☆12Updated 2 years ago
- Dynamic analysis framework for Python☆56Updated last week
- ☆15Updated 5 months ago
- Dynamic Analysis for Concurrent Programs☆21Updated 4 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week
- A library for building abstract interpretation-based analyses☆230Updated 4 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆51Updated last month
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆222Updated this week
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- ☆25Updated 3 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago