Alternatives and similar repositories for llvm-passes

Users that are interested in llvm-passes are comparing it to the libraries listed below

• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆48Updated 2 years ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆32Updated last week
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆26Updated last year
• alibaba-edu / Driver-Security-Analyzer
  Driver Security Analyzer
  ☆53Updated 5 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆81Updated 3 years ago
• GrammaTech / retypd
  ☆74Updated 2 years ago
• ElykDeer / McNinja
  Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
  ☆60Updated 3 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆34Updated 8 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆146Updated 2 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 10 months ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆47Updated 8 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 8 months ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆135Updated last month
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆36Updated 3 years ago
• gilboz / ida_kernelcache_ng
  ☆39Updated 6 months ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆30Updated 2 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆70Updated 4 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆43Updated 2 years ago
• zolutal / kheap_sift
  A tool combining DWARF info and source to search for kernel heap objects
  ☆24Updated last month
• softsec-unh / MBA-Solver
  ☆45Updated 4 years ago
• nyx-fuzz / spec-fuzzer
  ☆45Updated 3 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆37Updated 10 months ago
• adutilleul / tigress-deobfuscation
  A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.
  ☆22Updated 4 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated last year
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆34Updated 3 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆90Updated last year