Alternatives and similar repositories for SymbolHider

Users that are interested in SymbolHider are comparing it to the libraries listed below

• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆133Updated 2 months ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated 3 weeks ago
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated last month
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆89Updated last month
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆119Updated 4 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• whitequark / python-itanium_demangler
  Pure Python Itanium C++ ABI demangler
  ☆37Updated 3 years ago
• vusec / floatzone
  ☆70Updated last year
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆146Updated 2 years ago
• aengelke / disarm
  Disarm — Fast AArch64 Decode/Encoder
  ☆44Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆60Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated 2 months ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆59Updated 9 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated last year
• diffkemp / diffkemp
  Static analysis of semantic differences in kernel versions
  ☆40Updated last month
• trailofbits / circuitous
  binary->LLVM->circuits
  ☆19Updated last year
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆32Updated this week
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆74Updated last year
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• Jakob-Koschel / llvm-passes
  How to use LLVM passes
  ☆36Updated 3 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆37Updated 4 years ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆24Updated 8 months ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆48Updated 8 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated last year
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆203Updated last year
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆284Updated last year