Alternatives and similar repositories for snippets:

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

• ossf / Memory-Safety
  ☆21Updated last month
• intel / pin-based-cec
  Pin-Based Constant Execution Checker (Pin-based CEC)
  ☆15Updated this week
• jdepoix / spectre-real-time-detection
  This projects detects ongoing Spectre attacks, by using a neural network to analyze HPCs (Hardware Performance Counters)
  ☆29Updated 6 years ago
• hgn / barnowld
  A Daemon for Real-Time Detection of Cache Side-Channel Attacks
  ☆14Updated last year
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆16Updated last month
• flowyroll / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆20Updated 4 years ago
• Samsung / auto_off_target
  AoT is a system for automatically generating off-target test harness by using build information.
  ☆37Updated last month
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆72Updated 2 years ago
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆32Updated 3 weeks ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆61Updated 2 years ago
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 4 years ago
• AdaLogics / paper-analyser
  ☆23Updated 3 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• jackcook / bigger-fish
  Code for the paper “There’s Always a Bigger Fish”
  ☆30Updated 2 months ago
• vusec / tlbdr
  ☆18Updated 2 years ago
• ForAllSecure / mayhem-examples
  Mayhem example templates for programming languages and fuzzers that you love!
  ☆28Updated last year
• STAR-RG / shipwright
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆22Updated 3 years ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆55Updated 2 years 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.
  ☆187Updated 2 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆16Updated 3 years ago
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆65Updated last year
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆224Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• da-x / deltaimage
  a tool to generate and apply binary deltas between Docker images to optimize registry storage
  ☆19Updated last year