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 4 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
  ☆29Aug 7, 2025Updated 7 months ago
• dinghaoliu / TFA-project

  View on GitHub
  TFA project for indirect call analysis
  ☆12Mar 13, 2025Updated last year
• 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 9 months 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
• 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
• PSU-Security-Universe / countdown

  View on GitHub
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆30Jun 24, 2025Updated 9 months ago
• ZJU-SEC / AbstractResourceAttack

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

  View on GitHub
  uacatcher open source repo
  ☆22Jul 22, 2023Updated 2 years ago
• PSU-Security-Universe / data-only-attacks

  View on GitHub
  A list of data-only attacks
  ☆21Aug 22, 2025Updated 7 months ago
• sslab-gatech / deadline

  View on GitHub
  ☆48Nov 15, 2021Updated 4 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
• HexHive / SyzRisk

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

  View on GitHub
  ☆20Dec 4, 2023Updated 2 years ago
• seclab-ucr / BugLens

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

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆91Sep 18, 2025Updated 6 months 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
• vusec / uncontained

  View on GitHub
  Uncovering Container Confusion in the Linux Kernel
  ☆46Feb 27, 2024Updated 2 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆75Jun 5, 2019Updated 6 years ago
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆525May 21, 2025Updated 10 months ago
• ucsb-seclab / actor

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

  View on GitHub
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Oct 4, 2019Updated 6 years ago
• Lawliar / CO3

  View on GitHub
  Artifacts for CO3: Concolic Co-execution for Firmware
  ☆13Dec 30, 2024Updated last year
• ijon-afl / ijon-data

  View on GitHub
  experiments for IJON
  ☆12Jul 1, 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).
  ☆121Apr 4, 2023Updated 2 years ago
• kengiter / lrsan

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Feb 23, 2019Updated 7 years ago
• PSU-Security-Universe / badass

  View on GitHub
  Demonstrating the BadAss issue.
  ☆17May 19, 2025Updated 10 months ago
• kuc001 / EmTaint

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

  View on GitHub
  ☆134May 6, 2024Updated last year
• seclab-ucr / KallGraph

  View on GitHub
  ☆35Feb 4, 2026Updated last month
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,663Updated this week
• isstac / badger

  View on GitHub
  ☆21Jan 10, 2019Updated 7 years ago
• R-Fuzz / symsan

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing
  ☆235Updated this week
• seclab-ucr / Unias

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

  View on GitHub
  Symbolic Execution Over Processor Traces
  ☆127Aug 14, 2024Updated last year
• PSU-Security-Universe / viper

  View on GitHub
  A tool for automatically identifying syscall-guard variables
  ☆37Feb 10, 2026Updated last month
• travitch / whole-program-llvm

  View on GitHub
  A wrapper script to build whole-program LLVM bitcode files
  ☆735Dec 30, 2025Updated 2 months ago