SWAT-project / SWAT
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
☆30Updated 10 months ago
Alternatives and similar repositories for SWAT:
Users that are interested in SWAT are comparing it to the libraries listed below
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated 3 weeks ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 weeks ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 6 years ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Updated last year
- Industrial IR-based static analysis framework for Java bytecode☆161Updated 9 months ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 4 months ago
- A Static Code Feature Extraction Tool for Java and Android☆20Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated last week
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆14Updated 2 weeks ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆88Updated 3 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- Phosphor: Dynamic Taint Tracking for the JVM☆170Updated last month
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 2 months ago
- ☆20Updated 2 years ago
- Static checker for Java☆85Updated 3 weeks ago
- ☆53Updated this week
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆44Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- ☆10Updated 4 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆57Updated 3 years ago
- ☆27Updated last year
- ☆39Updated 9 months ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 3 years ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆62Updated 6 months ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)☆30Updated 3 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 7 months ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆14Updated 9 months ago
- Artifact for ICSE 2023☆46Updated 2 years ago