eix128 / MCSemaWindows
MCSema Build Windows download
☆10Updated 4 years ago
Alternatives and similar repositories for MCSemaWindows
Users that are interested in MCSemaWindows are comparing it to the libraries listed below
Sorting:
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆51Updated 8 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- ☆12Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- ☆40Updated 4 years ago
- ☆51Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- Use Intel Pin tools to analysis binary.☆37Updated 9 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Tutorial to write qemu plugins☆33Updated 7 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆16Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆34Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆55Updated 3 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- Linux kernel branches for confidential compute research☆17Updated last month
- ROP Benchmark is a tool to compare ROP compilers☆42Updated 2 years ago
- Python interface for Binexport, the Bindiff export format☆16Updated this week
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆19Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- FunSeeker: Binary Function Identification Tool☆25Updated last year
- Signedness-Agnostic Strided-Interval☆37Updated 5 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- Binary Ninja plugin for forward/backward slicing☆18Updated 4 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Updated 2 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆31Updated 4 years ago
- suite of binaries used to test function identification☆28Updated 7 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago