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
  ☆69Updated 4 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated 2 years ago
• fuzzstati0n / fuzzgoat
  A vulnerable C program for testing fuzzers.
  ☆196Updated 2 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆211Updated 9 months ago
• ibm-research / speculator
  Tool to Analyze Speculative Execution Attacks and Mitigations
  ☆56Updated 3 years ago
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆201Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated last week
• tsgates / die
  a paper template
  ☆58Updated 2 months ago
• panda-re / lava
  LAVA: Large-scale Automated Vulnerability Addition
  ☆406Updated last week
• vrthra / F1
  ☆82Updated last month
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆581Updated 6 months ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 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
• greenlsi / reload_refresh
  Reload+Refresh PoC
  ☆15Updated 5 years ago
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆493Updated last year
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 4 years ago
• cgvwzq / evsets
  Tool for testing and finding minimal eviction sets
  ☆105Updated 4 years ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆75Updated 2 years ago
• arichardson / juliet-test-suite-c
  ☆94Updated 6 months ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆128Updated 2 months ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• isec-tugraz / cache_template_attacks
  This repository contains several tools to perform Cache Template Attacks
  ☆157Updated last week
• nsumner / llvm-dataflow-analysis
  ☆66Updated 5 years ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆268Updated 3 weeks ago
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• pwnforce / uSBS
  μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
  ☆31Updated 3 years ago
• pszal / teaching
  My most recent teaching materials for 2017-2020 courses (50.574, 50.520, 51.502, 50.037).
  ☆29Updated 5 years ago
• Yossioren / AttacksonImplementationsCourseBook
  ☆235Updated 9 months ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last month