Skip to content

@umnsec The Systems Security Group at University of Minnesota

Change the repository type filter

All

    Repositories list

    7 repositories

    • mlta

      Public
      TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
      C++
      •
      MIT License
      •29•96•5•2•Updated Jul 17, 2025Jul 17, 2025

    • crix

      Public
      Detect missing check bugs in OS kernels
      C++
      •
      Other
      •31•110•0•0•Updated Sep 23, 2023Sep 23, 2023

    • typm

      Public
      C++
      •
      MIT License
      •9•34•2•0•Updated May 19, 2023May 19, 2023

    • ndi

      Public
      Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
      C++
      •
      MIT License
      •1•14•0•0•Updated Nov 7, 2022Nov 7, 2022

    • eecatch

      Public
      Exaggerated Error Handling Hurts! An In-Depth Study and Context-Aware Detection
      C++
      •
      Apache License 2.0
      •2•4•0•0•Updated May 27, 2021May 27, 2021

    • cheq

      Public
      CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
      C++
      •6•45•2•0•Updated Oct 4, 2019Oct 4, 2019

    • linux-bitcode

      Public
      Pre-built bitcode files for the Linux kernel
      LLVM
      •3•22•1•0•Updated Sep 18, 2019Sep 18, 2019