Alternatives and similar repositories for SURI

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

• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆43Updated 5 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 5 years ago
• MSRSSP / hyperfuzzer-seeds
  ☆9Updated 3 years ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆17Updated last year
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• riscv / riscv-memory-tagging
  Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores
  ☆17Updated last week
• owenlly / Indirector_Artifact
  Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]
  ☆61Updated 11 months ago
• bwickman97 / ffmalloc
  ☆51Updated 3 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 6 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 3 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Updated 5 years ago
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated 2 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 4 months ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last month
• vusec / dangzero
  ☆17Updated last year
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆43Updated last month
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆30Updated last year
• FPSG-UIUC / synthCT
  Repository for synthCT framework (NDSS'22)
  ☆10Updated 2 years ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 2 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• RICSecLab / coresight-trace
  Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
  ☆26Updated 2 years ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 6 months ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 8 years ago
• cgvwzq / polca
  Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.
  ☆16Updated 5 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆23Updated 2 weeks ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated this week