joernio / flatgraph
☆14Updated 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 4 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated last month
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- ☆27Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆31Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆58Updated 3 years ago
- ☆40Updated 9 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆12Updated 2 months ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆44Updated last year
- ☆10Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆30Updated 10 months ago
- Python library for CPGQL server☆26Updated 9 months ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- ☆18Updated 6 months ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- A Coverage-Based fuzzing tools☆23Updated 3 years ago
- ☆66Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- Record my learn path of HEAP EXPLOITATION on LINUX☆13Updated 7 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆24Updated 2 years ago
- fuzz the linux kernel bpf verifier☆78Updated 3 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆21Updated last month
- some useful scripts to solve pwn challenges in ctfs☆13Updated 4 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆11Updated 5 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 6 years ago