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:
- Cross-Qt compatibility module for IDAPython.☆13Oct 2, 2019Updated 6 years ago
- Try to transport the tcpip stack of ReactOS to Windows XP.☆17Feb 27, 2014Updated 12 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
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- Static unpacker for FinSpy VM☆103Jul 11, 2021Updated 4 years ago
- Guest to host VM escape exploit for Parallels Desktop☆27Nov 14, 2014Updated 11 years ago
- iOS/macOS: task_swap_mach_voucher() does not respect MIG semantics leading to use-after-free☆11Jan 30, 2019Updated 7 years ago
- ☆14Sep 22, 2023Updated 2 years ago
- ☆13Jul 11, 2017Updated 8 years ago
- ☆10Jun 11, 2022Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago
- FFmpeg and DuiLib Plugin Demo☆10Jul 8, 2017Updated 8 years ago
- ☆179Nov 25, 2018Updated 7 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Jan 18, 2017Updated 9 years ago
- ☆17Oct 31, 2022Updated 3 years ago
- Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.☆16Sep 14, 2019Updated 6 years ago
- This is a fuzzer for Windows SEH buffer overflow.☆15Oct 17, 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
- A fuzz job for ClamAV☆32Jun 13, 2016Updated 9 years ago
- ☆12May 8, 2017Updated 8 years ago
- wow64 syscall filter☆13Nov 12, 2014Updated 11 years ago
- Async rust support for the reverse-engineered Crowdstrike Falcon protocol between the Sensor and cloud services☆17Mar 10, 2023Updated 3 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- IDAScript to create Symbol file which can be loaded in WinDbg via AddSyntheticSymbol☆41Jul 25, 2014Updated 11 years ago
- Plugin for BinaryNinja that provides bookmarking functionality☆21Feb 11, 2021Updated 5 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆168Feb 16, 2025Updated last year
- 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
- Lua Extension for Windbg☆21Oct 22, 2018Updated 7 years ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- IDA反-反调试插件 IDAStealth v1.3.3, created 06/28/2011, Jan Newger☆21Apr 4, 2018Updated 7 years ago
- vm escape exploit☆39Sep 24, 2017Updated 8 years ago
- Browser Fuzzing with Machine Learning☆22Mar 6, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/ioctlbf☆17Mar 28, 2015Updated 10 years ago
- ☆14Feb 27, 2017Updated 9 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆316Jun 11, 2020Updated 5 years ago
- Java integration for Hex-Rays IDA Pro☆26Feb 15, 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