sciencemanx / symexec
Basic x86 Symbolic Execution for educational purposes
☆18Updated 8 years ago
Alternatives and similar repositories for symexec
Users that are interested in symexec are comparing it to the libraries listed below
Sorting:
- Static analysis tools for x86 assembly☆13Updated 8 years ago
- ☆14Updated 7 years ago
- Haskell parser for the REIL intermediate language (currently a work-in-progress)☆11Updated 7 years ago
- This is a fuzzer for Windows SEH buffer overflow.☆15Updated 7 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- ☆32Updated 10 months ago
- Exception detector for windows programs(x86 only)☆11Updated 8 years ago
- A tiny tool to learn the assembly code☆11Updated 8 years ago
- python library for dumping a linux process from memory☆34Updated 14 years ago
- x86/64 Linux Debugger (written w/ python stdlib,ctypes/ptrace)☆9Updated 7 years ago
- ROP Payload Compiler☆11Updated 8 years ago
- collection of used Tools for CTFs☆15Updated 3 years ago
- ☆28Updated 7 years ago
- Cross-Qt compatibility module for IDAPython.☆13Updated 5 years ago
- simple rootkit for computer security class☆14Updated 12 years ago
- Evaluating function diffing existing techniques☆12Updated 6 years ago
- ☆28Updated 3 years ago
- An IDA Pro script for creating a clearer idb for nymaim malware☆10Updated 7 years ago
- ☆12Updated 7 years ago
- Fetch and set configuration values from IDAPython scripts☆21Updated 4 years ago
- This is a framework for automatically finding bugs, and exploiting them...☆5Updated 9 years ago
- Archive from the article CVE-2015-5119 Flash ByteArray UaF: A beginner's walkthrough☆13Updated 9 years ago
- Python module to detect, analyze and id application bugs☆21Updated 2 months ago
- Toy binaries to play with -fsanitize=safe-stack/cfi☆9Updated 9 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆14Updated 8 years ago
- A library for interacting with Windows process memory☆7Updated 6 years ago
- Triton based R2 plugin for concolic execution and total control☆32Updated 6 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Quickly find references to the specified Immediate number, or find the function call of specifies offset, and generate C++ functions call…☆25Updated 8 years ago
- REIL translation library☆36Updated 9 years ago