A fuzzy parser for C/C++ that creates semantic code property graphs
☆37Oct 15, 2020Updated 5 years ago
Alternatives and similar repositories for fuzzyc2cpg
Users that are interested in fuzzyc2cpg are comparing it to the libraries listed below
Sorting:
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated last year
- Code Property Graph: specification, query language, and utilities☆563Feb 6, 2026Updated 3 weeks ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- python and honggfuzz☆26May 18, 2020Updated 5 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Feb 28, 2020Updated 5 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Oct 28, 2021Updated 4 years ago
- ☆26Jan 15, 2021Updated 5 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 7 years ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆18May 24, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 5 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Oct 25, 2019Updated 6 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆334Feb 2, 2026Updated 3 weeks ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- LLVM meets Code Property Graphs☆96Feb 27, 2021Updated 5 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Jun 18, 2020Updated 5 years ago
- Modular And Compositional analysis with KLEE Engine☆117Dec 17, 2019Updated 6 years ago
- Systems are built from Components, not from Dependencies.☆26Sep 21, 2017Updated 8 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆125May 18, 2025Updated 9 months ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Automatic Vulnerability Discovery☆38Mar 30, 2019Updated 6 years ago
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated 3 weeks ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- ☆13May 5, 2018Updated 7 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago