seclab-ucr/SUTURE external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

seclab-ucr/SUTURE

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/seclab-ucr/SUTURE)

Close

seclab-ucr / SUTUREView on GitHubMore

• External links
• Readme badge

Precise and high-order static points-to/taint analysis based on LLVM IR.

☆90Sep 18, 2025Updated 5 months ago

Alternatives and similar repositories for SUTURE

Users that are interested in SUTURE are comparing it to the libraries listed below

• seclab-ucr / K-LEAK

  View on GitHub
  ☆20Jun 7, 2025Updated 8 months ago
• vusec / dangzero

  View on GitHub
  ☆18Sep 4, 2023Updated 2 years ago
• HexHive / SyzRisk

  View on GitHub
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Aug 20, 2024Updated last year
• ucsb-seclab / dr_checker

  View on GitHub
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆337Apr 30, 2022Updated 3 years ago
• seclab-ucr / IncreLux

  View on GitHub
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆33Apr 6, 2022Updated 3 years ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• chenyueqi / w2l

  View on GitHub
  ☆26May 10, 2021Updated 4 years ago
• GaloisInc / cclyzerpp

  View on GitHub
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆150Jan 30, 2025Updated last year
• kuc001 / EmTaint

  View on GitHub
  ☆47May 27, 2023Updated 2 years ago
• HexHive / datAFLow

  View on GitHub
  A data-flow-guided fuzzer
  ☆124Aug 19, 2023Updated 2 years ago
• seclab-ucr / KOOBE

  View on GitHub
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆91May 7, 2024Updated last year
• seclab-ucr / KallGraph

  View on GitHub
  ☆35Feb 4, 2026Updated last month
• yikesoftware / Iot_challenges

  View on GitHub
  iot安全题目学习记录
  ☆16Dec 13, 2021Updated 4 years ago
• ucsb-seclab / actor

  View on GitHub
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆39May 6, 2024Updated last year
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode

  View on GitHub
  ☆37Jun 23, 2025Updated 8 months ago
• jkrshnmenon / arbiter

  View on GitHub
  ☆239Jan 14, 2024Updated 2 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 6 months ago
• seclab-ucr / Unias

  View on GitHub
  A Hybrid Alias Analysis
  ☆19Aug 10, 2023Updated 2 years ago
• OSUSecLab / SelectiveTaint

  View on GitHub
  ☆82Sep 3, 2021Updated 4 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• CRYPTOlab / kint

  View on GitHub
  git://g.csail.mit.edu/kint
  ☆51Oct 20, 2013Updated 12 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• vusec / uncontained

  View on GitHub
  Uncovering Container Confusion in the Linux Kernel
  ☆46Feb 27, 2024Updated 2 years ago
• umnsec / typm

  View on GitHub
  ☆37May 19, 2023Updated 2 years ago
• OS3Lab / KernelTestingPapers

  View on GitHub
  Papers related with kernel papers
  ☆13Mar 18, 2023Updated 2 years ago
• lizhuohua / rust-ffi-checker

  View on GitHub
  ☆61Feb 15, 2023Updated 3 years ago
• messlabnyu / irqdebloat

  View on GitHub
  ☆14Dec 10, 2021Updated 4 years ago
• awen-li / PolyCruise

  View on GitHub
  A Cross-Language Dynamic Information Flow Analysis.
  ☆28Nov 29, 2022Updated 3 years ago
• whichbug / SVF-UAF

  View on GitHub
  A use-after-free checker based on SVF.
  ☆20Nov 29, 2017Updated 8 years ago
• Markakd / GREBE

  View on GitHub
  ☆81Sep 7, 2023Updated 2 years ago
• TortoiseFuzz / TortoiseFuzz

  View on GitHub
  ☆91Oct 25, 2021Updated 4 years ago
• vul337 / StateFuzz

  View on GitHub
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Aug 16, 2023Updated 2 years ago
• Anonymous-SFuzz / SFuzz

  View on GitHub
  ☆34Apr 7, 2022Updated 3 years ago
• eurecom-s3 / invscov

  View on GitHub
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆93Jan 19, 2022Updated 4 years ago
• prosyslab / tracer

  View on GitHub
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆50Sep 25, 2024Updated last year
• wtdcode / fuzzercorn

  View on GitHub
  Bring libfuzzer to Unicorn
  ☆26Jan 23, 2022Updated 4 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• seahorn / sea-dsa

  View on GitHub
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆169Dec 4, 2025Updated 3 months ago