stg-tud / apsaLinks
Applied Static Analysis
☆11Updated 6 years ago
Alternatives and similar repositories for apsa
Users that are interested in apsa are comparing it to the libraries listed below
Sorting:
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 4 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 3 months ago
- AFL-based fuzzing for Java☆237Updated 5 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated 2 years ago
- Symbolic PathFinder☆157Updated last week
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 4 years ago
- Joana - Information Flow Control for Java☆94Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆251Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated last month
- Interprocedural Distributive Environment algorithm implementation☆16Updated 10 years ago
- ☆68Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 2 months ago
- FairFuzz: AFL extension targeting rare branches☆249Updated 6 years ago
- ☆22Updated 2 years ago
- ☆40Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 2 weeks ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆225Updated 2 weeks ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- Static checker for Java☆89Updated 8 months ago
- Soot based Jimple interpreter☆14Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆124Updated 3 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆82Updated 7 years ago
- ☆16Updated 2 months ago
- A points-to and alias analysis benchmark suite☆41Updated 7 years ago
- minimal symbolic model checker & fuzzer☆113Updated 10 years ago
- ☆41Updated 2 years ago