trailofbits / magnifier

Related projects ⓘ

Alternatives and complementary repositories for magnifier

• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆37Updated last year
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆34Updated last month
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 2 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 2 years ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆29Updated 2 years ago
• binarly-io / idalib
  Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.0’s idalib
  ☆59Updated this week
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆62Updated last year
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆64Updated 3 years ago
• softsec-unh / MBA-Solver
  ☆39Updated 3 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆73Updated 2 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• ergrelet / triton-bn
  Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.
  ☆58Updated 3 months ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆39Updated last year
• rizinorg / sigdb
  Rizin FLIRT Signature Database
  ☆36Updated last year
• yrp604 / bochscpu
  ☆74Updated last month
• mandiant / siglib
  ☆21Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago
• Vector35 / tanto
  Tantō slices functions into more consumable chunks
  ☆46Updated last year
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆106Updated 2 weeks ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆41Updated 9 months ago
• kukrimate / grr
  AMD SVM hypervisor rootkit proof of concept
  ☆42Updated last year
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆44Updated 2 years ago
• pietroborrello / raindrop
  This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …
  ☆61Updated 3 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆67Updated 3 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year