jstaursky / coronium
A disassembler
☆21Updated 2 years ago
Alternatives and similar repositories for coronium:
Users that are interested in coronium are comparing it to the libraries listed below
- Lifting from native architecture to VTIL. (WIP)☆75Updated 3 years ago
- Standalone API for Binary Ninja's LLIL☆18Updated 7 months ago
- A number of samples to get you started with VTILs API.☆38Updated 3 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆58Updated 8 months ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆28Updated 3 years ago
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆27Updated 4 months ago
- x86-64 user mode emulation using Zydis☆45Updated 2 months ago
- ☆11Updated 2 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆28Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆87Updated 3 weeks ago
- Lightweight PDB symbol parser and resolver☆24Updated 5 months ago
- Port of MBA Solver SiMBA to C/C++☆77Updated 2 weeks ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆50Updated 8 months ago
- Lisp in kernel-mode because it was so seductive☆13Updated 4 years ago
- An optimizing decompiler (modified to use remill semantics)☆30Updated 6 years ago
- obfuscation that aims to not stand out☆23Updated 3 years ago
- A c++20 constexpr x86 assembler☆57Updated 3 years ago
- Python bindings for the Icicle emulator.☆26Updated 2 months ago
- Zydis JavaScript bindings via WASM☆18Updated 2 years ago
- LLVM Graph View for VSCode☆31Updated last week
- LLVM Without The ROP Gadgets!☆26Updated last year
- Experimental static analysis framework.☆14Updated 11 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- Code virtualizer☆23Updated 8 years ago
- Control Flow Linearization☆23Updated last year
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- Tool for generating C++ classes and json from PDB, DWARF and ELF symbols (Work in progress)☆53Updated 6 years ago
- Symbolic Execution based on lifting amd64 to z3☆26Updated 9 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆64Updated 5 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆35Updated 4 years ago