trailofbits / RaceSanitizer
A dynamic data race detector for programs
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for RaceSanitizer
- Measure branching along code paths☆20Updated 8 years ago
- A framework for control-flow recovery in binary programs.☆11Updated 6 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- ☆25Updated 6 years ago
- ☆17Updated 3 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 5 years ago
- SUPA☆28Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 5 years ago
- Tools built using Dyninst or Dyninst component libraries.☆25Updated last year
- ☆25Updated 9 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- Re-randomizing the memory layout of a process at runtime☆21Updated 8 years ago
- MCFI/PICFI tool chain☆42Updated 8 months ago
- Official repository for ASAP: High System-code Security at Low Overhead☆24Updated 8 years ago
- Interactive Virtual Machine Introspection☆18Updated 7 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- FoRTE-Research's fuzzing benchmarks☆54Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- ☆16Updated 5 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- ☆74Updated 2 years ago