Colton1skees / Symex

Related projects: ⓘ

• samrussell / obfus
  Playing with LLVM passes
  ☆34Updated last year
• janbbeck / CleanTricks
  Binary Ninja plugin to clean up some common obfuscation techniques.
  ☆19Updated 4 years ago
• fvrmatteo / oracle-synthesis-meets-equality-saturation
  ☆18Updated 2 months ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆41Updated 8 months ago
• adutilleul / tigress-deobfuscation
  A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.
  ☆21Updated 2 years ago
• samrussell / vmprotect_binja_plugin
  Binary Ninja plugin for automating VMProtect analysis
  ☆55Updated last year
• ek0 / hxemu
  Triton based symbolic emulator
  ☆16Updated last year
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆25Updated 2 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆32Updated 2 months ago
• 0x62797465 / lumina-binja-improved
  IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!
  ☆35Updated 4 months ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 3 years ago
• NudistBeaaach / Chained-CFG-obfuscation-pass
  LLVM obfuscation pass, flattening at the basic block's level and turning each basic block into a dispacher and each instruction into a ne…
  ☆47Updated 3 years ago
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆20Updated 2 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆23Updated 8 months ago
• kukrimate / grr
  AMD SVM hypervisor rootkit proof of concept
  ☆39Updated 11 months ago
• nlykkei / llvm-ir-obfuscation
  Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.
  ☆71Updated 4 years ago
• yellowbyte / zero-footprint-opaque-predicates
  obfuscation that aims to not stand out
  ☆20Updated 2 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆33Updated last month
• LLVMParty / RemillWorkshop
  ☆39Updated last month
• erfur / jadx-eval-method
  PoC plugin for jadx-gui to evaluate methods and update decompiler output
  ☆16Updated 2 weeks ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• zhangyoufu / lumina
  A Go library speaking Hex-Rays IDA lumina protocol
  ☆34Updated last year
• plzin / mba-wasm
  Mixed Boolean-Arithmetic in Rust for WebAssembly
  ☆23Updated 8 months ago
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆37Updated last month
• LLVMParty / UnsupportedInstructionsLiftingToLLVM
  Using Zydis and LLVM to lift unsupported instructions to LLVM-IR
  ☆24Updated 3 years ago
• cxiao / minidump_bn
  Minidump loader for Binary Ninja
  ☆10Updated last year
• archercreat / api-tracer
  api-tracer is a tiny (useless) tracer
  ☆14Updated last year
• ergot86 / hyperv_stuff
  Hyper-V related resources
  ☆30Updated 5 months ago
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆33Updated 2 years ago
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆15Updated last year