Alternatives and similar repositories for snippets

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

• spectector / spectector
  Automatic detection of speculative information flows
  ☆75Updated 4 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated 2 months ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆82Updated 3 months ago
• ibm-research / speculator
  Tool to Analyze Speculative Execution Attacks and Mitigations
  ☆56Updated 4 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 6 years ago
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆204Updated 3 years ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆62Updated 3 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆25Updated 4 years ago
• cgvwzq / evsets
  Tool for testing and finding minimal eviction sets
  ☆107Updated 4 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39Updated 5 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Updated 3 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆46Updated 4 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 3 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆66Updated 3 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆128Updated 6 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago
• vernamlab / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆19Updated 5 years ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 3 weeks ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 11 months ago
• LiHRaM / taint
  Thesis code
  ☆26Updated 2 years ago
• isec-tugraz / cache_template_attacks
  This repository contains several tools to perform Cache Template Attacks
  ☆164Updated 3 months ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 8 months ago
• microsoft / side-channel-fuzzer
  Revizor - Hardware fuzzing for the age of speculation
  ☆180Updated 2 weeks ago
• flowyroll / uarchsec
  ☆48Updated 7 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆136Updated 6 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆240Updated 2 years ago
• johnwilander / RIPE
  Buffer overflow testbed, research paper published at ACSAC 2011
  ☆93Updated 8 years ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆65Updated 8 months ago