PeiweiHu / cinspectorLinks
cinspector - a static C source code analysis framework
☆26Updated last year
Alternatives and similar repositories for cinspector
Users that are interested in cinspector are comparing it to the libraries listed below
Sorting:
- ☆27Updated 2 years ago
- ☆34Updated 2 years ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆58Updated last year
- ☆68Updated last year
- ☆55Updated last year
- ☆24Updated 9 months ago
- ☆57Updated last year
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆23Updated this week
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆28Updated 2 years ago
- ☆24Updated 2 months ago
- ☆29Updated 2 years ago
- ☆18Updated 2 years ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆27Updated 6 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Updated 2 years ago
- ☆88Updated 2 months ago
- Full implementaion of Genius☆31Updated 2 years ago
- Run fuzzing experiments in Docker☆31Updated 4 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 9 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆43Updated last year
- A data-flow-guided fuzzer☆120Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆40Updated last year
- ☆36Updated last year
- ☆104Updated 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…☆82Updated last year
- MS-Fuzz data☆15Updated 2 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆18Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆79Updated 2 weeks ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆94Updated last year
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated last year