seclab-ucr / SUTUREView external linksLinks
Precise and high-order static points-to/taint analysis based on LLVM IR.
☆89Sep 18, 2025Updated 4 months ago
Alternatives and similar repositories for SUTURE
Users that are interested in SUTURE are comparing it to the libraries listed below
Sorting:
- ☆20Jun 7, 2025Updated 8 months ago
- ☆18Sep 4, 2023Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆337Apr 30, 2022Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- Detect missing check bugs in OS kernels☆113Sep 23, 2023Updated 2 years ago
- ☆26May 10, 2021Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Jan 30, 2025Updated last year
- ☆47May 27, 2023Updated 2 years ago
- A data-flow-guided fuzzer☆124Aug 19, 2023Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- ☆34Feb 4, 2026Updated last week
- iot安全题目学习记录☆16Dec 13, 2021Updated 4 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39May 6, 2024Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- ☆37Jun 23, 2025Updated 7 months ago
- ☆238Jan 14, 2024Updated 2 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 5 months ago
- ☆82Sep 3, 2021Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- K-Miner☆74Jun 5, 2019Updated 6 years ago
- Uncovering Container Confusion in the Linux Kernel☆46Feb 27, 2024Updated last year
- ☆37May 19, 2023Updated 2 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ☆61Feb 15, 2023Updated 2 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆27Nov 29, 2022Updated 3 years ago
- A use-after-free checker based on SVF.☆20Nov 29, 2017Updated 8 years ago
- ☆81Sep 7, 2023Updated 2 years ago
- ☆90Oct 25, 2021Updated 4 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Aug 16, 2023Updated 2 years ago
- ☆34Apr 7, 2022Updated 3 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21May 17, 2022Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆50Sep 25, 2024Updated last year
- ☆24Aug 24, 2025Updated 5 months ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago