joernio / flatgraphLinks
☆21Updated last 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…☆74Updated 9 months ago
- ShiftLeft OverflowDB☆127Updated 2 months ago
- ☆63Updated 2 weeks ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆33Updated 3 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆46Updated last year
- COVA - A static analysis tool to compute path conditions☆36Updated 3 weeks ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 6 months ago
- ☆18Updated 2 weeks ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated this week
- A symbolic Java virtual machine for program analysis, verification and test generation☆113Updated this week
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- ☆27Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated 2 weeks ago
- Python library for CPGQL server☆32Updated last year
- AFL/AFL++ version FishFuzz☆92Updated 4 months ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆91Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 6 months ago
- ☆104Updated last year
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆17Updated 10 months ago
- A set of Code-ql/Joern queries to find vulnerabilities☆63Updated 4 years ago
- A data-flow-guided fuzzer☆122Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆124Updated 3 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆99Updated last year
- Holistic Greybox Fuzzing of Multi-Language Systems☆27Updated 2 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Updated 4 years ago
- 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.☆194Updated 2 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆65Updated 2 years ago