razvand / snippetsLinks
Snippets, scripts, config files
☆17Updated 2 months ago
Alternatives and similar repositories for snippets
Users that are interested in snippets are comparing it to the libraries listed below
Sorting:
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Updated 3 years ago
- Automatic detection of speculative information flows☆75Updated 4 years ago
- A vulnerable C program for testing fuzzers.☆206Updated 3 years ago
- An LLVM sanitizer tutorial☆204Updated 3 years ago
- Domain-Specific Fuzzing with Waypoints☆240Updated 2 years ago
- Public-facing course info for program analysis materials.☆43Updated 2 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆588Updated 10 months ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆56Updated 4 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Website and PoC collection for transient execution attacks☆200Updated last year
- LAVA: Large-scale Automated Vulnerability Addition☆411Updated last week
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- A Kernel fuzzer focusing on race bugs☆378Updated 6 years ago
- Understand and mitigate software-observable side-channels☆506Updated 5 years ago
- Project page for "The Debugging Book"☆270Updated 3 months ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆130Updated 3 weeks ago
- ☆417Updated this week
- ☆25Updated 4 years ago
- Line-based testcase reducer☆100Updated last month
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Updated 3 months ago
- A grammar-based custom mutator for AFL++☆268Updated last month
- Thesis code☆26Updated 2 years ago
- ☆72Updated 8 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆264Updated 8 months ago
- FitM, the Fuzzer in the Middle, can fuzz client and server binaries at the same time using userspace snapshot-fuzzing and network emulati…☆291Updated 3 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Updated 3 years ago
- Low-Level Software Security for Compiler Developers☆601Updated 2 months ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆271Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago