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
  ☆38Updated 2 years ago
• trailofbits / vast-checker
  ☆25Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated last month
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 5 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 3 years ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 4 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 9 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• risicle / cpytraceafl
  CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL
  ☆31Updated 4 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• d-millar / ghidra_pcode_scripts
  a few Ghidra scripts for dumping PCode data
  ☆50Updated 6 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
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆50Updated 4 years ago
• sefcom / TYGR
  ☆16Updated 9 months ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• GrammaTech / retypd
  ☆70Updated last year
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆31Updated last week
• angr / tracer
  Utilities for generating dynamic traces
  ☆92Updated 2 months ago