ropas / sparrow
The Sparrow Static Analyzer
☆124Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for sparrow
- A software framework for global sparse analyzers and their verified validators☆22Updated 7 years ago
- ☆28Updated last year
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- ☆55Updated 5 months ago
- ☆11Updated 5 months ago
- ☆32Updated 6 years ago
- ☆44Updated last week
- ☆14Updated last year
- ☆14Updated last year
- ☆48Updated last week
- ☆9Updated last year
- CREST extension that supports non-linear arithmetic☆14Updated 11 years ago
- A Z3-Based String Constraint Solver☆87Updated 4 years ago
- CREST is a concolic test generation tool for C.☆159Updated 4 years ago
- ☆19Updated last year
- 컴퓨터 신기술 특강☆13Updated 5 years ago
- A library for building abstract interpretation-based analyses☆233Updated 3 weeks ago
- Static Slicer for LLVM☆65Updated 8 years ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆42Updated 7 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- Constraint solver based on coverage-guided fuzzing☆239Updated 11 months ago
- 2017s-IS521☆13Updated 7 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- ☆66Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated this week