razvand / snippetsLinks
Snippets, scripts, config files
☆16Updated 3 weeks ago
Alternatives and similar repositories for snippets
Users that are interested in snippets are comparing it to the libraries listed below
Sorting:
- Automatic detection of speculative information flows☆68Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- ☆234Updated 8 months ago
- Dynamically discover the commands used to create a piece of software☆55Updated 7 months ago
- A vulnerable C program for testing fuzzers.☆196Updated 2 years ago
- ☆14Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆261Updated 3 months ago
- Open source binary analysis tools.☆231Updated last week
- Program analysis tools developed at Draper on the CBAT project.☆104Updated 2 years ago
- Tool for testing and finding minimal eviction sets☆105Updated 4 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆75Updated 2 years ago
- Project page for "The Debugging Book"☆248Updated last week
- Teaching materials related to the Tamarin Prover☆70Updated last year
- ☆66Updated 8 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 3 years ago
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- 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
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆188Updated 8 years ago
- ☆66Updated 5 years ago
- A framework for instrumenting build tools☆89Updated 3 weeks ago
- Line-based testcase reducer☆99Updated 6 months ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆63Updated 2 years ago
- 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.☆195Updated 2 years ago
- A Kernel fuzzer focusing on race bugs☆370Updated 6 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- A collection of ready to use binary analysis tools☆60Updated last year
- ☆82Updated last month