joernio / flatgraphLinks
☆27Updated last week
Alternatives and similar repositories for flatgraph
Users that are interested in flatgraph are comparing it to the libraries listed below
Sorting:
- ShiftLeft OverflowDB☆130Updated 5 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…☆76Updated last year
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆36Updated 6 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 9 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 9 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆145Updated last month
- The official repo of Doop, the declarative pointer analysis framework.☆203Updated 5 months ago
- COVA - A static analysis tool to compute path conditions☆39Updated 4 months ago
- Mutation-guided mutation-based fuzz testing☆48Updated last year
- Source code (C,C++,Java) static analysis tool☆53Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆72Updated last year
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆89Updated 9 months ago
- ☆18Updated 3 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆25Updated 2 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆126Updated 3 years ago
- ☆73Updated this week
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆18Updated 2 months ago
- IFDS/IDE Solver for Soot and other frameworks☆250Updated 2 years ago
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Code Property Graph: specification, query language, and utilities☆547Updated last month
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆196Updated 3 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆65Updated 4 years ago
- A benchmark for Java gadget chain detecting algorithms.☆14Updated 4 months ago
- ☆29Updated 6 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 11 months ago
- ☆42Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆118Updated last month
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆384Updated this week
- AFL-based fuzzing for Java☆237Updated 5 years ago