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
- Ghidra plugin that adds a window showing the high P-code for the current function.☆18Updated 2 years ago
- Instruction decoder generator☆33Updated 8 months ago
- ETrace is a syscall tracing utility powered by eBPF☆25Updated 2 years ago
- A high-performance, no_std compliant ELF loader and JIT linker for Rust.☆115Updated this week
- binary->LLVM->circuits☆19Updated last year
- Example of an ELF parser to learn about the ELF format☆10Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Intel Hardware Trace Library - Kernel Space Componment☆79Updated 3 months ago
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆62Updated last month
- LLDB based debugger for Linux Kernel☆28Updated 9 months ago
- A small tool for quickly generating LLVM passes☆29Updated 4 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- LLVM Graph View for VSCode☆39Updated 10 months ago
- Debugger and analyzer for ARM ELF executables.☆18Updated 3 years ago
- ☆45Updated 4 years ago
- HyperDbg's logic analyzer and chip-level hardware debugger☆54Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months ago
- Adds a layer on top of IDA Python to make it easier to write scripts☆29Updated last week
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆86Updated 3 years ago
- Wiki pages for compiler technologies https://compilers.wiki☆24Updated 2 years ago
- Disarm — Fast AArch64 Decode/Encoder☆45Updated last year
- VSCode extension for the LLVM IR language☆60Updated last year
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆23Updated last year
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 8 months ago