lifting-bits/libvex external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lifting-bits/libvex

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lifting-bits/libvex)

Close

lifting-bits / libvexView on GitHubMore

• External links
• Readme badge

LibVEX with patches to support static analysis

☆37Jul 13, 2015Updated 10 years ago

Alternatives and similar repositories for libvex

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

• gdbinit / llvmpatches

  View on GitHub
  Misc llvm patches
  ☆23Jul 17, 2021Updated 4 years ago
• AloneMonkey / MacKext

  View on GitHub
  Learn MacOS kernel extensions
  ☆46Nov 20, 2017Updated 8 years ago
• abarnert / pymach

  View on GitHub
  Python wrapper around the Mach VM APIs
  ☆20Jun 4, 2012Updated 13 years ago
• jrmuizel / kemufuzzer

  View on GitHub
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Mar 17, 2015Updated 10 years ago
• MartialB / BinSlayer

  View on GitHub
  ☆36Feb 18, 2013Updated 13 years ago
• anatol / menuconfig

  View on GitHub
  Out-of-tree version of Linux' kconfig tool
  ☆20Jun 13, 2024Updated last year
• Lnd-stoL / qmake2cmake

  View on GitHub
  Simple python script allowing to convert qmake .pro project files to CMakeLists.txt. Supports Qt5.
  ☆19Oct 13, 2022Updated 3 years ago
• Team-Atlanta / aixcc-afc-p4

  View on GitHub
  ☆25Aug 6, 2025Updated 6 months ago
• angr / vex

  View on GitHub
  A patched version of VEX to work with PyVEX.
  ☆113Feb 1, 2026Updated last month
• Vector35 / dwarf_import

  View on GitHub
  This loads DWARF info from an open binary and propagates function names, arguments, and type info
  ☆26Jul 11, 2023Updated 2 years ago
• axt / bingraphvis

  View on GitHub
  ☆45Mar 13, 2022Updated 3 years ago
• junjiexing / Saber

  View on GitHub
  《macOS软件安全与逆向分析》随书的调试器代码
  ☆50Nov 20, 2016Updated 9 years ago
• vmware-archive / vmmfuzzer

  View on GitHub
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Feb 4, 2020Updated 6 years ago
• jmpews / rtspy

  View on GitHub
  runtime spy elf with android/linux and macho with macOS/IOS
  ☆36Mar 31, 2017Updated 8 years ago
• Cr4sh / openreil

  View on GitHub
  Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)
  ☆512May 1, 2021Updated 4 years ago
• michaekang / android_s2e

  View on GitHub
  Run android with S2E
  ☆31Dec 11, 2014Updated 11 years ago
• ahorn / native-symbolic-execution-clang

  View on GitHub
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Jul 25, 2014Updated 11 years ago
• static-analysis-engineering / CodeHawk-Binary

  View on GitHub
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆39Updated this week
• saagarjha / macOSSandboxInitializationBypass

  View on GitHub
  App sandbox escapes for macOS
  ☆31May 20, 2020Updated 5 years ago
• axelexic / SanboxInterposed

  View on GitHub
  Bypassing Mac App Sandbox using DYLD_INSERT_LIBRARIES (LD_PRELOAD)
  ☆46Jan 13, 2012Updated 14 years ago
• dariosharp / SZpy

  View on GitHub
  Z3 Symbolic Execution python
  ☆28Dec 28, 2017Updated 8 years ago
• Brandon-Everhart / AngryIDA

  View on GitHub
  Python based angr plug in for IDA Pro.
  ☆35Feb 25, 2018Updated 8 years ago
• feliam / klee-taint

  View on GitHub
  KLEE-TAINT - Klee with taint analysis support
  ☆71Oct 23, 2017Updated 8 years ago
• onura / TaintAll

  View on GitHub
  TaintAll, a taint analysis and concolic execution tool
  ☆31Jan 2, 2017Updated 9 years ago
• xerub / reexport

  View on GitHub
  Reexport symbols for Mach-O and ELF
  ☆38Mar 2, 2018Updated 8 years ago
• BranchMetrics / cpp-branch-deep-linking-attribution

  View on GitHub
  Branch Metrics Win32/C++ SDK
  ☆10Jun 10, 2025Updated 8 months ago
• ERYK500 / tc_campaign

  View on GitHub
  ☆19Feb 5, 2026Updated 3 weeks ago
• lifting-bits / sleigh

  View on GitHub
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆174Updated this week
• freener / exploits

  View on GitHub
  ☆32Nov 15, 2017Updated 8 years ago
• x43x61x69 / Mach-O-Prettifier

  View on GitHub
  A Mach-O Load Command deobfuscator.
  ☆43Nov 25, 2021Updated 4 years ago
• m000 / dtracker

  View on GitHub
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Feb 27, 2018Updated 8 years ago
• brainsmoke / minemu

  View on GitHub
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆43Jul 17, 2020Updated 5 years ago
• loyaltypollution / ida2llvm

  View on GitHub
  ☆59Jan 8, 2026Updated last month
• Vector35 / warp

  View on GitHub
  Common format for transferring and applying function information across binary analysis tools
  ☆60Nov 5, 2025Updated 3 months ago
• detule / linux-hexagon

  View on GitHub
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Mar 14, 2013Updated 12 years ago
• ryanhaining / cppsynchronized

  View on GitHub
  java-like synchronized blocks in c++
  ☆13Mar 8, 2014Updated 11 years ago
• twitchax / triage-bot

  View on GitHub
  An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…
  ☆12Jun 11, 2025Updated 8 months ago
• dirtyfilthy / timos_packer

  View on GitHub
  Alcatel-Lucent SR/OS (TiMOS) Firmware Packer
  ☆11May 31, 2017Updated 8 years ago
• backengineering / binstats

  View on GitHub
  Statistics from our binary transformation framework
  ☆11Jan 16, 2025Updated last year