Course sample for SMT-Based Binary Program Analysis training class
☆32Apr 19, 2018Updated 7 years ago
Alternatives and similar repositories for SMTSample
Users that are interested in SMTSample are comparing it to the libraries listed below
Sorting:
- Guest to host VM escape exploit for Parallels Desktop☆27Nov 14, 2014Updated 11 years ago
- Cross-Qt compatibility module for IDAPython.☆13Oct 2, 2019Updated 6 years ago
- ☆13Jul 11, 2017Updated 8 years ago
- RunPE dump - I wrote this to have better control over the analysis of malwares. I can stop and analysis malware when it uses some of the …☆10Jul 1, 2015Updated 10 years ago
- FFmpeg and DuiLib Plugin Demo☆10Jul 8, 2017Updated 8 years ago
- ☆12May 8, 2017Updated 8 years ago
- The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).☆12Jul 23, 2015Updated 10 years ago
- wow64 syscall filter☆13Nov 12, 2014Updated 11 years ago
- Static unpacker for FinSpy VM☆103Jul 11, 2021Updated 4 years ago
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- Try to transport the tcpip stack of ReactOS to Windows XP.☆17Feb 27, 2014Updated 12 years ago
- Undefined Behaviour Snippets☆17Apr 3, 2017Updated 8 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Jan 18, 2017Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.☆16Sep 14, 2019Updated 6 years ago
- Native Development Kit for Vista 64bit And Later, by me, Based on NDK Headers 1.0, by Alex Ionescu☆17Dec 6, 2015Updated 10 years ago
- HAXM hypervisor client☆18Nov 30, 2018Updated 7 years ago
- This is a fuzzer for Windows SEH buffer overflow.☆15Oct 17, 2017Updated 8 years ago
- ☆14Feb 27, 2017Updated 9 years ago
- Microsoft Edge MemGC Internals☆17Sep 2, 2015Updated 10 years ago
- Toy project for static analysis of ELF binaries☆29Jun 24, 2017Updated 8 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- Lua Extension for Windbg☆21Oct 22, 2018Updated 7 years ago
- Hidden monitoring and blocking Android apps☆10May 2, 2017Updated 8 years ago
- Expression generator for WebAssembly☆18Jul 6, 2018Updated 7 years ago
- The project was upgraded from https://coder.pub/ and supported VS2017. The original author wrote the detailed design ideas documentation…☆20Sep 18, 2017Updated 8 years ago
- IDA反-反调试插件 IDAStealth v1.3.3, created 06/28/2011, Jan Newger☆21Apr 4, 2018Updated 7 years ago
- Educational tools for Binary Ninja☆20Jul 18, 2018Updated 7 years ago
- ☆18Nov 7, 2017Updated 8 years ago
- Old exploits and code for my self-referencing PML4 technique (2014)☆32May 8, 2015Updated 10 years ago
- Decrypt AES256GCM-encrypted data in Apple Pay Payment Tokens.☆10Nov 30, 2018Updated 7 years ago
- A memory engine that scans, debugs and disassembles an applications memory space.☆14Oct 29, 2017Updated 8 years ago
- websocket-protocol's implementation with multithread synchronization model in C++☆17Jul 23, 2017Updated 8 years ago
- ☆37Sep 8, 2015Updated 10 years ago
- vm escape exploit☆39Sep 24, 2017Updated 8 years ago
- Vine: The BitBlaze Static Analysis Component☆26Sep 27, 2014Updated 11 years ago
- ☆27Oct 16, 2017Updated 8 years ago
- CVE-2014-1303 (WebKit Heap based BOF) proof of concept for Linux☆24Aug 10, 2025Updated 6 months ago
- Lists work items being queued currently.☆14Jun 7, 2015Updated 10 years ago