joernio / flatgraph
☆19Updated last month
Alternatives and similar repositories for flatgraph:
Users that are interested in flatgraph are comparing it to the libraries listed below
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 6 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆24Updated 2 months ago
- ☆18Updated 8 months ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆88Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 months ago
- ShiftLeft OverflowDB☆120Updated 9 months ago
- ☆27Updated 2 years ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆32Updated last year
- Sydr benchmark applications☆17Updated 2 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆91Updated 6 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆19Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 9 months ago
- A set of Code-ql/Joern queries to find vulnerabilities☆57Updated 3 years ago
- ☆59Updated last month
- Record my learn path of HEAP EXPLOITATION on LINUX☆13Updated 7 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆67Updated this week
- A gdb for fuzzing☆21Updated 3 years ago
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆25Updated last year
- 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
- ROSA: Finding Backdoors with Fuzzing☆21Updated last month
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆67Updated 8 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆53Updated 7 years ago
- CLI to build a custom CodeQL bundle☆10Updated 3 weeks ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 6 months ago
- AFL++ with support for FormatFuzzer☆13Updated 2 years ago