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
      •23•84•4•2•Updated Mar 23, 2024Mar 23, 2024

    • crix

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

    • typm

      Public
      C++
      •
      MIT License
      •9•32•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•13•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•43•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