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

☆103Nov 10, 2025Updated 11 months ago

Alternatives and similar repositories for mlta

Users that are interested in mlta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• s3team / DeepType

  View on GitHub
  ☆27Aug 7, 2025Updated last year
• dinghaoliu / TFA-project

  View on GitHub
  TFA project for indirect call analysis
  ☆13Mar 13, 2025Updated last year
• seclab-ucr / KallGraph

  View on GitHub
  ☆39Feb 4, 2026Updated 8 months ago
• umnsec / linux-bitcode

  View on GitHub
  Pre-built bitcode files for the Linux kernel
  ☆22Sep 18, 2019Updated 7 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode

  View on GitHub
  ☆37Jun 23, 2025Updated last year
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• umnsec / typm

  View on GitHub
  ☆38May 19, 2023Updated 3 years ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆117Sep 23, 2023Updated 3 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
• lzto / pex

  View on GitHub
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆82Dec 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
• PSU-Security-Universe / data-only-attacks

  View on GitHub
  A list of data-only attacks
  ☆21Aug 22, 2025Updated last year
• uacatcher / uacatcher-repo

  View on GitHub
  uacatcher open source repo
  ☆22Jul 22, 2023Updated 3 years ago
• 5hadowblad3 / Titan

  View on GitHub
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆57Jul 30, 2026Updated 2 months ago
• sslab-gatech / deadline

  View on GitHub
  ☆48Nov 15, 2021Updated 4 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• seclab-ucr / BugLens

  View on GitHub
  The repo of "BugLens"
  ☆42Jul 4, 2026Updated 3 months ago
• HexHive / SyzRisk

  View on GitHub
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Aug 20, 2024Updated 2 years ago
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆93Sep 18, 2025Updated last year
• vusec / uncontained

  View on GitHub
  Uncovering Container Confusion in the Linux Kernel
  ☆47Feb 27, 2024Updated 2 years ago
• seclab-ucr / SyzGenPlusPlus

  View on GitHub
  ☆21Dec 4, 2023Updated 2 years ago
• ucsb-seclab / dr_checker

  View on GitHub
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆339Apr 30, 2022Updated 4 years ago
• umnsec / cheq

  View on GitHub
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Oct 4, 2019Updated 7 years ago
• Dongdongshe / K-Scheduler

  View on GitHub
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆121Apr 4, 2023Updated 3 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆75Jun 5, 2019Updated 7 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• Lawliar / CO3

  View on GitHub
  Artifacts for CO3: Concolic Co-execution for Firmware
  ☆14Dec 30, 2024Updated last year
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆525May 21, 2025Updated last year
• PSU-Security-Universe / countdown

  View on GitHub
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆29Jun 24, 2025Updated last year
• ijon-afl / ijon-data

  View on GitHub
  experiments for IJON
  ☆12Jul 1, 2019Updated 7 years ago
• kengiter / lrsan

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆32Feb 23, 2019Updated 7 years ago
• fuzztruction / fuzztruction

  View on GitHub
  ☆136May 6, 2024Updated 2 years ago
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,715Updated this week
• R-Fuzz / symsan

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing and Under-Constrained Execution
  ☆241Sep 25, 2026Updated 2 weeks ago
• isstac / badger

  View on GitHub
  ☆22Jan 10, 2019Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• seclab-ucr / Unias

  View on GitHub
  A Hybrid Alias Analysis
  ☆19Aug 10, 2023Updated 3 years ago
• carter-yagemann / ARCUS

  View on GitHub
  Symbolic Execution Over Processor Traces
  ☆127Aug 14, 2024Updated 2 years ago
• THU-WingTecher / wingfuzz

  View on GitHub
  ☆18Dec 5, 2022Updated 3 years ago
• PSU-Security-Universe / viper

  View on GitHub
  A tool for automatically identifying syscall-guard variables
  ☆38Feb 10, 2026Updated 8 months ago
• eurecom-s3 / symqemu

  View on GitHub
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆380May 5, 2025Updated last year
• travitch / whole-program-llvm

  View on GitHub
  A wrapper script to build whole-program LLVM bitcode files
  ☆732Dec 30, 2025Updated 9 months ago
• uafx / uafx

  View on GitHub
  Static Cross-Entry UAF Detector
  ☆28Apr 28, 2025Updated last year