andromeda / lya
A Coarse-grained Dynamic Analysis Framework
☆17Updated last year
Related projects: ⓘ
- ☆25Updated 3 months ago
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆27Updated 9 months ago
- configuration evolution dataset☆16Updated 3 years ago
- ☆21Updated last week
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆45Updated 10 months ago
- ☆23Updated 3 weeks ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 9 months ago
- A framework for testing compilers' type checkers☆17Updated this week
- ☆96Updated last week
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- Configuration dependency analysis for cloud software☆20Updated 2 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆17Updated 6 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- Automated testing for XML XPath execution☆16Updated 8 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- ☆20Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆51Updated last month
- Tool to determine metrics for specified npm packages and/or JavaScript github repos☆13Updated 11 months ago
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Datalog Engines OPtimization Tester.☆13Updated 8 months ago
- ☆74Updated last year
- Test-Case Prioritization for Configuration Testing☆15Updated 3 years ago
- ☆50Updated last year