AppThreat / cpggen
Generate CPG for multiple languages for code and threat analysis
☆9Updated last year
Alternatives and similar repositories for cpggen:
Users that are interested in cpggen are comparing it to the libraries listed below
- ReDeBug Source Code.☆24Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- ☆50Updated 7 years ago
- Sys, but no longer in Haskell☆18Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆43Updated 2 months ago
- KLEE / CSE Project☆43Updated 4 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆60Updated last year
- Fuzzing with controlled compilation☆27Updated last year
- FoRTE-Research's fuzzing benchmarks☆54Updated 5 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- Python library for code analysis with CPG and Joern☆14Updated last year
- ☆47Updated 4 years ago
- IoT firmware vulnerability analysis tool based on binary code similarity analysis (BCSA)☆17Updated 2 years ago
- Symbolic Execution Over Processor Traces☆118Updated 5 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆30Updated last year
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆15Updated last year
- Fuzz testing framework for binary programs using AI☆49Updated last year
- ☆23Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- An external project example using SVF as a library☆20Updated 3 months ago
- ☆24Updated last year
- ☆40Updated 2 years ago
- ☆10Updated 4 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- ☆22Updated 2 years ago
- Pythia (extends AFL with Predictions)☆62Updated 3 years ago
- Source code of MEUZZ fuzzer☆44Updated 3 years ago