joernio / flatgraphLinks
☆22Updated this week
Alternatives and similar repositories for flatgraph
Users that are interested in flatgraph are comparing it to the libraries listed below
Sorting:
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆75Updated 10 months ago
- ShiftLeft OverflowDB☆130Updated 3 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆137Updated 3 weeks ago
- ☆18Updated last month
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆35Updated 3 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆183Updated 2 months ago
- ☆65Updated this week
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 7 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 6 months ago
- Python library for code analysis with CPG and Joern☆22Updated 2 years ago
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆35Updated 2 years ago
- Python library for CPGQL server☆33Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 3 weeks ago
- ☆29Updated 3 months ago
- Code Property Graph: specification, query language, and utilities☆532Updated 3 weeks ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆71Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆251Updated 2 years ago
- COVA - A static analysis tool to compute path conditions☆37Updated last month
- A set of Code-ql/Joern queries to find vulnerabilities☆64Updated 4 years ago
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆17Updated 11 months ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆366Updated this week
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 8 months ago
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 2 months ago
- AFL-based fuzzing for Java☆240Updated 5 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆89Updated 7 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆30Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- Precision-guided context sensitivity for pointer analysis☆61Updated 2 years ago