MaxXSoft / sigma-vmLinks
Sigma Virtual Machine.
☆23Updated 2 years ago
Alternatives and similar repositories for sigma-vm
Users that are interested in sigma-vm are comparing it to the libraries listed below
Sorting:
- A tour of what some Rust language features look like after compilation.☆50Updated 2 years ago
- Instruction decoder generator☆33Updated 9 months ago
- A small tool for quickly generating LLVM passes☆29Updated 4 months ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆18Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Intel Hardware Trace Library - Kernel Space Componment☆80Updated 3 months ago
- VSCode extension for the LLVM IR language☆60Updated last year
- A high-performance, no_std compliant ELF loader and JIT linker for Rust.☆116Updated this week
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- Adds a layer on top of IDA Python to make it easier to write scripts☆29Updated 2 weeks ago
- ETrace is a syscall tracing utility powered by eBPF☆25Updated 2 years ago
- Disarm — Fast AArch64 Decode/Encoder☆45Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months ago
- LLDB based debugger for Linux Kernel☆28Updated 10 months ago
- Example of an ELF parser to learn about the ELF format☆10Updated last year
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- IDA Database Parser for Rust☆25Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Native Rust bindings for @horsicq's Detect-It-Easy☆19Updated 2 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- An open-source interactive visualization tool for comparing IR CFGs☆91Updated 6 months ago
- A Rust crate for creating memory dumps of running processes on Linux☆64Updated 8 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 8 months ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆86Updated 3 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆23Updated last year
- SCEMU The crates.io lib, x86 cpu and systems emulator focused mainly for anti-malware☆47Updated last year
- LLVM Graph View for VSCode☆39Updated 10 months ago
- binary->LLVM->circuits☆19Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago