phreppo / rat
🐀 Regular Expression Denial of Service analyzer.
☆24Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for rat
- An SMT Solver for string constraints☆33Updated 2 weeks ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- SymDiff-Differential-Program-Verifier☆29Updated last week
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- Apron Numerical Abstract Domain Library☆112Updated 2 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 6 months ago
- Static checker for Java☆84Updated 11 months ago
- While language static analyzer☆10Updated 4 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- A points-to and alias analysis benchmark suite☆36Updated 6 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- Duet: static analysis for unbounded concurrency☆23Updated last week
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 6 years ago
- A list of bugs found by SQLancer☆13Updated 9 months ago
- ☆8Updated 6 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- ☆26Updated 2 weeks ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- The Gillian Platform main repository☆78Updated last week
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- ☆24Updated 9 years ago
- Dynamic analysis framework for Python☆56Updated last week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 3 weeks ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆60Updated 4 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 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