eix128 / MCSemaWindowsLinks
MCSema Build Windows download
☆11Updated 5 years ago
Alternatives and similar repositories for MCSemaWindows
Users that are interested in MCSemaWindows are comparing it to the libraries listed below
Sorting:
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated 2 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆49Updated 5 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 4 years ago
- ☆45Updated 4 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- kAFL Fuzzer☆34Updated 10 months ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Updated 7 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆43Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 5 years ago
- ☆69Updated last year
- A framework for static analysis of ROP exploits and programs☆41Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- A fast execution trace symbolizer for Windows.☆130Updated last year
- Build your emulation environment as needed☆66Updated 4 years ago
- LLVM-based type and memory allocation tracking sanitizer☆56Updated this week
- Tool to extract the kallsyms (System.map) from a memory dump☆29Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 4 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- ☆50Updated 3 years ago
- ROP database plugin for IDA☆32Updated 7 years ago
- This is the source of our Return Oriented Programming tool.☆14Updated 6 years ago
- Symbolic Simplification with PAttern Matching☆108Updated 8 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆32Updated 7 years ago
- Additional Material for the Self Modifying Code (SMC) paper☆28Updated 5 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 6 years ago
- Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files☆82Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Updated 4 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Updated 4 years ago
- ☆52Updated 4 years ago