PeiweiHu / cinspectorView external linksLinks
cinspector - a static C source code analysis framework
☆29Jun 20, 2024Updated last year
Alternatives and similar repositories for cinspector
Users that are interested in cinspector are comparing it to the libraries listed below
Sorting:
- ☆16Feb 25, 2024Updated last year
- (NDSS 2024) Optimizing Decompiler Output with LLM☆129Sep 8, 2024Updated last year
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated last month
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 10 months ago
- LLM Security Guard for Code☆20Sep 8, 2024Updated last year
- ☆73Jun 26, 2024Updated last year
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Feb 13, 2019Updated 7 years ago
- 整理统计MacOSX的安全补丁与修复的漏洞☆10May 23, 2016Updated 9 years ago
- ☆13Mar 22, 2024Updated last year
- reven2-scripts contains a set of REVEN scripts to automate timeless-analysis on REVEN traces.☆30Aug 31, 2022Updated 3 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Generating API Parameter Security Rules with LLM for API Misuse Detection (Accepted by NDSS 2025)☆18Mar 5, 2025Updated 11 months ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago
- ☆15Nov 24, 2023Updated 2 years ago
- ☆57May 10, 2024Updated last year
- This is a deep learning dataset for cross-version binary code similarity detection.☆27Nov 7, 2018Updated 7 years ago
- ☆33Jun 5, 2023Updated 2 years ago
- Security papers about software vulnerabilities and exploits☆14Jan 16, 2019Updated 7 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Aug 11, 2017Updated 8 years ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 2 years ago
- Ditto.☆18Jul 23, 2020Updated 5 years ago
- Codee☆17Dec 9, 2020Updated 5 years ago
- The repo of "BugLens"☆35Nov 12, 2025Updated 3 months ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆18Sep 12, 2024Updated last year
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- ☆16Jul 20, 2017Updated 8 years ago
- GitHub Cloner & Compiler☆76Sep 24, 2021Updated 4 years ago
- ☆22Feb 14, 2022Updated 4 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆82Mar 19, 2024Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- 快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新☆21Jan 27, 2022Updated 4 years ago
- ☆20Jun 7, 2025Updated 8 months ago
- ☆82Sep 3, 2021Updated 4 years ago
- ☆20May 27, 2020Updated 5 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- An Extensible Dynamic Analysis Framework for IoT Devices☆21Aug 9, 2018Updated 7 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago