Alternatives and similar repositories for unisan

Users that are interested in unisan are comparing it to the libraries listed below

• sslab-gatech / kernel-analyzer

  View on GitHub
  ☆74Dec 5, 2019Updated 6 years ago
• kengiter / lrsan

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Feb 23, 2019Updated 6 years ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• umnsec / cheq

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

  View on GitHub
  Compiler Fingerprinting
  ☆14Apr 24, 2015Updated 10 years ago
• vusec / memsentry

  View on GitHub
  Open-source release for MemSentry (EuroSys'17)
  ☆47May 5, 2021Updated 4 years ago
• sslab-gatech / aslr-guard

  View on GitHub
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆37Feb 24, 2016Updated 9 years ago
• CRYPTOlab / kint

  View on GitHub
  git://g.csail.mit.edu/kint
  ☆51Oct 20, 2013Updated 12 years ago
• octopus-platform / octopus

  View on GitHub
  Generic server for collaborative code analysis
  ☆13Dec 19, 2016Updated 9 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• vul337 / PrIntFuzz

  View on GitHub
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆63Dec 2, 2024Updated last year
• sslab-gatech / caver

  View on GitHub
  ☆26Oct 13, 2015Updated 10 years ago
• nettrino / IntFlow

  View on GitHub
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Apr 4, 2015Updated 10 years ago
• sslab-gatech / deadline

  View on GitHub
  ☆47Nov 15, 2021Updated 4 years ago
• ash09 / angr-static-analysis-for-vuzzer64

  View on GitHub
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆22Aug 3, 2020Updated 5 years ago
• S2E / libs2eplugins

  View on GitHub
  S2E plugins library
  ☆17Jan 7, 2020Updated 6 years ago
• vusec / kmvx

  View on GitHub
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Aug 30, 2019Updated 6 years ago
• kengiter / RuntimeASLR

  View on GitHub
  Re-randomizing the memory layout of a process at runtime
  ☆21May 28, 2016Updated 9 years ago
• S2E / s2e-linux-kernel

  View on GitHub
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Jul 6, 2024Updated last year
• vul337 / EnclaveFuzz

  View on GitHub
  Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
  ☆26Jan 1, 2026Updated last month
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• Lancern / llvm-anderson

  View on GitHub
  Anderson points-to analysis implementation based on LLVM
  ☆12Jan 3, 2021Updated 5 years ago
• Hank0438 / AEG

  View on GitHub
  I am still working on it
  ☆12Apr 30, 2020Updated 5 years ago
• wpengfei / double_fetch_cocci

  View on GitHub
  Source code of the double-fetch bug detection approach based on Coccinelle engine
  ☆10Jan 2, 2017Updated 9 years ago
• fabric8-analytics / cvejob

  View on GitHub
  A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).
  ☆12Jul 12, 2025Updated 7 months ago
• sslab-gatech / hdfi

  View on GitHub
  Hardware-assisted Data-flow Isolation
  ☆29Jan 28, 2018Updated 8 years ago
• dtzWill / ioc-clang

  View on GitHub
  Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…
  ☆22Oct 31, 2012Updated 13 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• deroko / ida_colorpc

  View on GitHub
  ☆13Jun 25, 2016Updated 9 years ago
• MarioVilas / vuln_tools

  View on GitHub
  Tools to work with vulnerability standards.
  ☆19Mar 19, 2014Updated 11 years ago
• lzto / pex

  View on GitHub
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆78Dec 30, 2021Updated 4 years ago
• zeyugao / VirtualCompiler

  View on GitHub
  ☆13Jan 7, 2025Updated last year
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 5 years ago
• thinkmoore / llvm-deps

  View on GitHub
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Mar 2, 2013Updated 12 years ago
• wisk / fw2elf

  View on GitHub
  Convert a raw firmware image to an ELF file.
  ☆13Feb 6, 2019Updated 7 years ago
• S2E / guest-images

  View on GitHub
  Scripts to automatically create VM images
  ☆15Oct 4, 2025Updated 4 months ago
• bennofs / docs

  View on GitHub
  ☆11Nov 19, 2017Updated 8 years ago
• twelveand0 / alphadiff-dataset

  View on GitHub
  This is a deep learning dataset for cross-version binary code similarity detection.
  ☆27Nov 7, 2018Updated 7 years ago
• sleicasper / aflturbo

  View on GitHub
  AFLTurbo
  ☆30Jun 19, 2022Updated 3 years ago