Alternatives and similar repositories for native-symbolic-execution-clang

Users that are interested in native-symbolic-execution-clang are comparing it to the libraries listed below

• MaskRay / 2016-09-24-cgc-defcon-ctf-presentation

  View on GitHub
  My presentation on Cyber Grand Challenge and DEFCON 24 CTF at SHLUG monthly meeting
  ☆13Sep 24, 2016Updated 9 years ago
• osirislab / imm-taint-trace

  View on GitHub
  Immunity Debugger Taint Tracer
  ☆20Jun 18, 2013Updated 12 years ago
• atdog / rubypwn

  View on GitHub
  Ruby - pwn tools
  ☆11Nov 7, 2015Updated 10 years ago
• ripples-alive / CTF-Scripts

  View on GitHub
  A collection for some scripts I used in CTF.
  ☆15Apr 4, 2018Updated 7 years ago
• columbia / woodpecker

  View on GitHub
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Jul 5, 2016Updated 9 years ago
• SRI-CSL / llvm2smt

  View on GitHub
  Experimental translation of llvm to smt.
  ☆58Apr 8, 2020Updated 5 years ago
• br0ns / pow

  View on GitHub
  Proof of Work generator
  ☆12Jun 26, 2019Updated 6 years ago
• nemequ / compfuzz

  View on GitHub
  Fuzzing compression libraries
  ☆20Jan 10, 2016Updated 10 years ago
• kanglictf / afl-qai

  View on GitHub
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆44Nov 22, 2016Updated 9 years ago
• jrmuizel / kemufuzzer

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

  View on GitHub
  C++11 library for many-sorted logics
  ☆39Nov 21, 2016Updated 9 years ago
• PinDemonium / PinDemonium

  View on GitHub
  An implementation of a generic unpacker based on Intel PIN
  ☆28Jul 28, 2016Updated 9 years ago
• bitblaze-fuzzball / fuzzball

  View on GitHub
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Aug 15, 2025Updated 6 months ago
• enferex / asrepl

  View on GitHub
  asrepl: x86-64 assembly REPL
  ☆71Apr 13, 2017Updated 8 years ago
• nezha-dt / nezha

  View on GitHub
  Differential fuzzing for the masses!
  ☆154Aug 9, 2017Updated 8 years ago
• blukat29 / docker-cross

  View on GitHub
  Cross debugger suite
  ☆20Jul 9, 2021Updated 4 years ago
• mfontanini / sloth-fuzzer

  View on GitHub
  A smart file fuzzer.
  ☆26Aug 19, 2016Updated 9 years ago
• Charo-IT / pwnlib

  View on GitHub
  Some stuff for CTF.
  ☆10Oct 27, 2019Updated 6 years ago
• A7um / bctf2017

  View on GitHub
  bctf2017 challenges
  ☆11Apr 20, 2017Updated 8 years ago
• fujii / ebview

  View on GitHub
  EPWING dictionary viewer
  ☆11Nov 13, 2018Updated 7 years ago
• gavinhub / BinaryTree

  View on GitHub
  LeetCode OJ's Binary Tree Visualization in Python
  ☆12Nov 19, 2016Updated 9 years ago
• wangxiao1254 / Secure-Computation-of-MIPS-Machine-Code

  View on GitHub
  ☆11Mar 8, 2022Updated 3 years ago
• thinkmoore / llvm-analysis

  View on GitHub
  Static analysis for llvm
  ☆20Mar 31, 2015Updated 10 years ago
• S2E / libcpu

  View on GitHub
  x86 Dynamic Binary Translator Library
  ☆34Dec 19, 2020Updated 5 years ago
• mothran / aflpin

  View on GitHub
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆172Jan 27, 2015Updated 11 years ago
• tracer-x / TRACER

  View on GitHub
  TRACER Symbolic Execution Tool
  ☆28Jun 16, 2020Updated 5 years ago
• elttam / canary-fun

  View on GitHub
  Code samples used for the blog post
  ☆24Jan 24, 2017Updated 9 years ago
• c4-project / c4f

  View on GitHub
  The C4 Concurrent C Fuzzer
  ☆14Nov 2, 2023Updated 2 years ago
• delcypher / nsolv

  View on GitHub
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Dec 7, 2012Updated 13 years ago
• jaopaulolc / KernelFaRer

  View on GitHub
  KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls
  ☆12Sep 7, 2025Updated 5 months ago
• vdanchenkov / tenhud

  View on GitHub
  HUD for tenhou.net riichi mahjong server. Shows tsumogiri and hidden tiles.
  ☆14Jan 20, 2017Updated 9 years ago
• jbremer / readb4write

  View on GitHub
  Pintool to detect Read before Write memory access
  ☆21Mar 20, 2013Updated 12 years ago
• pollend / tis100pad

  View on GitHub
  A web site for uploading and sharing solutions for the game TIS-100.
  ☆13Jun 22, 2025Updated 7 months ago
• CyberGrandChallenge / virtual-competition

  View on GitHub
  CFE virtual competition framework
  ☆14Feb 1, 2017Updated 9 years ago
• ne2der / ANDROID_EXPTOOLKIT

  View on GitHub
  ☆12Dec 26, 2017Updated 8 years ago
• rutgers-apl / fpsanitizer

  View on GitHub
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Jun 19, 2022Updated 3 years ago
• cristianassaiante / incomplete-debuginfo

  View on GitHub
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆23Mar 4, 2024Updated last year
• piscou / FuzzWin

  View on GitHub
  ☆87Jun 5, 2015Updated 10 years ago
• HackerDom / ructfe-2015

  View on GitHub
  RuCTFE 2015
  ☆21Nov 25, 2015Updated 10 years ago