Symbolic expression simplifier used across VTIL toolchain. Moved into -->
☆25May 2, 2020Updated 5 years ago
Alternatives and similar repositories for VTIL-SymEx
Users that are interested in VTIL-SymEx are comparing it to the libraries listed below
Sorting:
- A common set of helpers used across VTIL toolchain. Moved into -->☆21May 2, 2020Updated 5 years ago
- ☆12Feb 8, 2021Updated 5 years ago
- JIT extensions for AsmResolver☆14May 19, 2019Updated 6 years ago
- ☆18Mar 21, 2022Updated 3 years ago
- Looks for a vulnerable entry point to bypass BE Anti Cheat or other in Ring3☆19Feb 25, 2023Updated 3 years ago
- A cross platform, leak free system handle wrapper☆20Oct 24, 2017Updated 8 years ago
- Manually perform syscalls without going through any external API or DLL.☆19Apr 19, 2023Updated 2 years ago
- Virtual-machine Translation Intermediate Language☆1,462Nov 5, 2023Updated 2 years ago
- Detailed Airplay Protocol Specification☆25Jul 8, 2022Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- A dnSpy extension to add WebAssembly support☆45Jun 6, 2022Updated 3 years ago
- Lua in kernel-mode because why not.☆367Dec 3, 2021Updated 4 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆57Aug 17, 2019Updated 6 years ago
- My articles for Paged Out! #2☆17Nov 20, 2019Updated 6 years ago
- 16-bit x86 architecture for Binary Ninja☆17Oct 9, 2021Updated 4 years ago
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- Collection of IDA Pro/Hex-Rays configs, scripts, and plugins☆23Mar 20, 2020Updated 5 years ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- Lifting from native architecture to VTIL. (WIP)☆77Feb 2, 2022Updated 4 years ago
- The LATENTPACKET network infrastructure platform☆27May 31, 2025Updated 9 months ago
- A tool to automatically defeat .NET crackmes based on string equality comparisons☆18Jan 25, 2022Updated 4 years ago
- Fork of Synacktiv's private Lumina server☆21Feb 22, 2022Updated 4 years ago
- BYOVD collection☆24Mar 20, 2024Updated last year
- Basics of Reverse Engineering Winter 2022☆28Mar 11, 2022Updated 3 years ago
- ☆57Jan 15, 2024Updated 2 years ago
- Experiments involving the Windows Hypervisor Platform☆23Jun 24, 2020Updated 5 years ago
- Packer is a compact, fast and crosss-platform serialization library for store data in a buffer☆22Aug 5, 2023Updated 2 years ago
- ☆93Oct 10, 2020Updated 5 years ago
- VMProtect analysis script☆56Mar 31, 2020Updated 5 years ago
- Ebfuscator: Abusing system errors for binary obfuscation☆52Apr 12, 2020Updated 5 years ago
- Disassembler for Zeus VM custom instruction set☆31Feb 12, 2024Updated 2 years ago
- x86_64, PE32+, FAT32 bootloader☆28Jul 4, 2021Updated 4 years ago
- A driver to implement IOCTL hooking☆27Mar 17, 2022Updated 3 years ago
- Command like tool to print mitigation flags for running processes in a memory dump☆47Sep 18, 2020Updated 5 years ago
- Extract data of TTD trace file to a minidump☆31Jul 31, 2023Updated 2 years ago
- Simple C++ cryptolocker Blowfish CBC☆18Apr 13, 2019Updated 6 years ago
- Native opaque predicate cleaner plugin for Binary Ninja☆46Updated this week
- Utility that tries to generate every single CIL opcode possible in a valid context.☆28Sep 7, 2022Updated 3 years ago