umnsec/mlta 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

umnsec/mlta

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/umnsec/mlta)

Close

umnsec / mltaView on GitHubMore

• External links
• Readme badge

TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

☆101Nov 10, 2025Updated 3 months ago

Alternatives and similar repositories for mlta

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

• dinghaoliu / TFA-project

  View on GitHub
  TFA project for indirect call analysis
  ☆10Mar 13, 2025Updated 11 months ago
• s3team / DeepType

  View on GitHub
  ☆29Aug 7, 2025Updated 6 months ago
• umnsec / linux-bitcode

  View on GitHub
  Pre-built bitcode files for the Linux kernel
  ☆22Sep 18, 2019Updated 6 years ago
• umnsec / typm

  View on GitHub
  ☆37May 19, 2023Updated 2 years ago
• umnsec / crix

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

  View on GitHub
  ☆37Jun 23, 2025Updated 8 months ago
• lzto / pex

  View on GitHub
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆79Dec 30, 2021Updated 4 years ago
• ZJU-SEC / AbstractResourceAttack

  View on GitHub
  This repository is used to analysis the shared resources of different containers
  ☆30Oct 22, 2024Updated last year
• seclab-ucr / BugLens

  View on GitHub
  The repo of "BugLens"
  ☆35Nov 12, 2025Updated 3 months ago
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆90Sep 18, 2025Updated 5 months ago
• kuc001 / EmTaint

  View on GitHub
  ☆47May 27, 2023Updated 2 years ago
• 5hadowblad3 / Titan

  View on GitHub
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆56Feb 17, 2025Updated last year
• mit-ll / Cross-Language-Attacks

  View on GitHub
  ☆27Apr 27, 2022Updated 3 years ago
• vusec / uncontained

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

  View on GitHub
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Feb 28, 2022Updated 4 years ago
• 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 / SyzGenPlusPlus

  View on GitHub
  ☆20Dec 4, 2023Updated 2 years ago
• PSU-Security-Universe / data-only-attacks

  View on GitHub
  A list of data-only attacks
  ☆21Aug 22, 2025Updated 6 months ago
• ssl-tud / k-miner

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

  View on GitHub
  ☆21Jan 10, 2019Updated 7 years ago
• sslab-gatech / deadline

  View on GitHub
  ☆47Nov 15, 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
• Lawliar / CO3

  View on GitHub
  Artifacts for CO3: Concolic Co-execution for Firmware
  ☆13Dec 30, 2024Updated last year
• Dongdongshe / K-Scheduler

  View on GitHub
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Apr 4, 2023Updated 2 years ago
• R-Fuzz / symsan

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing
  ☆234Feb 7, 2026Updated 3 weeks ago
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 9 months ago
• qingkaishi / netlifter

  View on GitHub
  Lifting network implementation to precise format specification
  ☆23Apr 21, 2025Updated 10 months ago
• PSU-Security-Universe / countdown

  View on GitHub
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆30Jun 24, 2025Updated 8 months ago
• seclab-ucr / KallGraph

  View on GitHub
  ☆35Feb 4, 2026Updated 3 weeks ago
• NodeHodor / Hodor

  View on GitHub
  Hodor for node.js
  ☆15Jun 18, 2023Updated 2 years ago
• ijon-afl / ijon-data

  View on GitHub
  experiments for IJON
  ☆12Jul 1, 2019Updated 6 years ago
• fuzztruction / fuzztruction

  View on GitHub
  ☆134May 6, 2024Updated last year
• vul337 / StateFuzz

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

  View on GitHub
  ☆16Nov 13, 2023Updated 2 years ago
• eurecom-s3 / symqemu

  View on GitHub
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆368May 5, 2025Updated 9 months ago
• ucsb-seclab / karonte

  View on GitHub
  Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
  ☆422Sep 18, 2021Updated 4 years ago
• eurecom-s3 / symcc

  View on GitHub
  SymCC: efficient compiler-based symbolic execution
  ☆856May 12, 2025Updated 9 months ago
• XMUsuny / symbolic-execution-papers

  View on GitHub
  Recent symbolic execution papers and tools.
  ☆182May 16, 2025Updated 9 months ago
• uacatcher / uacatcher-repo

  View on GitHub
  uacatcher open source repo
  ☆22Jul 22, 2023Updated 2 years ago