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

☆102Nov 10, 2025Updated 8 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.

• 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 5 months ago
• umnsec / linux-bitcode

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

  View on GitHub
  ☆37Jun 23, 2025Updated last year
• umnsec / typm

  View on GitHub
  ☆37May 19, 2023Updated 3 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆117Sep 23, 2023Updated 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
• 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
• PSU-Security-Universe / data-only-attacks

  View on GitHub
  A list of data-only attacks
  ☆21Aug 22, 2025Updated 11 months ago
• 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"
  ☆56Feb 17, 2025Updated last year
• sslab-gatech / deadline

  View on GitHub
  ☆48Nov 15, 2021Updated 4 years ago
• seclab-ucr / BugLens

  View on GitHub
  The repo of "BugLens"
  ☆42Jul 4, 2026Updated 2 weeks ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• HexHive / SyzRisk

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

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆92Sep 18, 2025Updated 10 months ago
• seclab-ucr / SyzGenPlusPlus

  View on GitHub
  ☆20Dec 4, 2023Updated 2 years ago
• vusec / uncontained

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

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

  View on GitHub
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Oct 4, 2019Updated 6 years ago
• 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 3 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆75Jun 5, 2019Updated 7 years ago
• Lawliar / CO3

  View on GitHub
  Artifacts for CO3: Concolic Co-execution for Firmware
  ☆14Dec 30, 2024Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• PSU-Security-Universe / countdown

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

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆526May 21, 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
  ☆30Feb 23, 2019Updated 7 years ago
• fuzztruction / fuzztruction

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

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

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing
  ☆235Jul 14, 2026Updated last week
• isstac / badger

  View on GitHub
  ☆22Jan 10, 2019Updated 7 years ago
• seclab-ucr / Unias

  View on GitHub
  A Hybrid Alias Analysis
  ☆19Aug 10, 2023Updated 2 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• carter-yagemann / ARCUS

  View on GitHub
  Symbolic Execution Over Processor Traces
  ☆127Aug 14, 2024Updated last year
• 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 5 months ago
• eurecom-s3 / symqemu

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

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

  View on GitHub
  Static Cross-Entry UAF Detector
  ☆26Apr 28, 2025Updated last year
• XMUsuny / symbolic-execution-papers

  View on GitHub
  Recent symbolic execution papers and tools.
  ☆186May 16, 2025Updated last year