dvm-system / tsar
TSAR (Traits Static AnalyzeR)
☆14Updated 9 months ago
Alternatives and similar repositories for tsar:
Users that are interested in tsar are comparing it to the libraries listed below
- TracerX Symbolic Virtual Machine☆33Updated 3 weeks ago
- Dynamic Control Flow Recovery☆25Updated 6 years ago
- radare2 cLEMENCy plugins☆23Updated 7 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Updated 6 years ago
- An example LLVM pass which can run automatically in clang.☆37Updated 9 years ago
- ☆13Updated 5 years ago
- LLVM pass☆22Updated 4 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- Use Intel Pin tools to analysis binary.☆36Updated 9 years ago
- Simple Library calls tracer☆22Updated 6 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆19Updated 2 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- Repository for synthCT framework (NDSS'22)☆10Updated 2 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- ☆10Updated 6 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆16Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- Fuzzing Parsers with Tokens☆32Updated 4 years ago
- experiments for IJON☆12Updated 5 years ago
- A tool that allows you to assemble and emulate assembly in multiple archs for learning purposes☆13Updated 5 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- LLVM meets Code Property Graphs☆90Updated 3 years ago