Alternatives and similar repositories for ailment:

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

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• bajinsheng / ReZZan
  ☆37Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• risicle / cpytraceafl
  CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL
  ☆30Updated 4 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Updated 3 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆90Updated 3 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated last week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆39Updated 4 years ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆25Updated last year
• Learner0x5a / DataFlowAnalysis-miasm
  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
  ☆19Updated 2 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆36Updated 5 years ago
• OctavioGalland / afllive
  ☆15Updated 2 months ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆83Updated this week
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆24Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 8 months ago
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆42Updated 4 years ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 4 years ago
• softsec-unh / MBA-Solver
  ☆40Updated 4 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆117Updated last week
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• angr / angr-targets
  This repository contains the currently implemented angr concrete targets.
  ☆33Updated last year
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆16Updated 3 years ago