MaxXSoft / sigma-vm
Sigma Virtual Machine.
☆20Updated last year
Alternatives and similar repositories for sigma-vm:
Users that are interested in sigma-vm are comparing it to the libraries listed below
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- ☆17Updated last year
- Helper scripts for windows debugging with symbols for Bochs and IDA Pro (PDB files). Very handy for user mode <--> kernel mode☆19Updated last year
- Example of an ELF parser to learn about the ELF format☆10Updated 3 months ago
- Instrumenting a binary without source code to bypass anti-debug checks☆33Updated 3 years ago
- ☆12Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 3 months ago
- Triton based symbolic emulator☆16Updated 2 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆15Updated last year
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆33Updated last year
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Independent hikari☆14Updated 4 months ago
- Lightweight WINAPI tracing with Pin☆26Updated 5 years ago
- A VMBR (Virtual-Machine Based Rootkit) which runs a guest OS and sends the attacker its data☆27Updated 9 months ago
- A dynamically loadable virtual-machine based rootkit designed for Linux Kernel v5.13.0 using AMD-V (SVM).☆28Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆25Updated 5 years ago
- ☆22Updated this week
- IDA Database Importer plugin for Binary Ninja☆37Updated 4 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last week
- Intel Hardware Trace Library☆66Updated 4 months ago
- Bootkits☆19Updated last year
- Disassembler for Zeus VM custom instruction set☆27Updated 11 months ago
- Rizin FLIRT Signature Database☆38Updated last year
- Based on nt5src☆15Updated last year
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆15Updated last year
- idax: IDASDK extension libraries☆18Updated 5 months ago
- Playing with LLVM passes☆36Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Rust library for lifting raw binary data to LLVM IR☆44Updated 4 months ago
- IDA (sort of) headless☆22Updated 11 months ago