Alternatives and similar repositories for snippets

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

• ibm-research / speculator
  Tool to Analyze Speculative Execution Attacks and Mitigations
  ☆55Updated 3 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆233Updated 3 years ago
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆201Updated 3 years ago
• isec-tugraz / transientfail
  Website and PoC collection for transient execution attacks
  ☆187Updated last year
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 4 years ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆76Updated 2 years ago
• llsoftsec / llsoftsecbook
  Low-Level Software Security for Compiler Developers
  ☆574Updated 2 weeks ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆194Updated 2 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated 2 years ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆61Updated 3 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆43Updated 4 years ago
• airbus-seclab / gustave
  GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…
  ☆200Updated 4 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• nsumner / llvm-dataflow-analysis
  ☆65Updated 5 years ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆59Updated 3 months ago
• cgvwzq / evsets
  Tool for testing and finding minimal eviction sets
  ☆105Updated 4 years ago
• Yossioren / AttacksonImplementationsCourseBook
  ☆234Updated 7 months ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆24Updated 4 years ago
• fuzzstati0n / fuzzgoat
  A vulnerable C program for testing fuzzers.
  ☆199Updated 2 years ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆56Updated 6 years ago
• SeanHeelan / claude_opus_cve_2023_0266
  Demo showing Claude Opus does not find CVE-2023-0266
  ☆15Updated last year
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆133Updated 5 years ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆257Updated last year
• google / silifuzz
  ☆407Updated 3 weeks ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆125Updated 3 weeks ago
• trailofbits / vast
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆421Updated 2 weeks ago
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆579Updated 4 months ago
• lungetech / cgc-challenge-corpus
  ☆66Updated 8 years ago
• 0vercl0k / z3-playground
  A repository to store Z3-python scripts you can use as examples, reminders, whatever.
  ☆279Updated 5 years ago