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
• trailofbits / vast-checker
  ☆25Updated 2 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 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
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆30Updated 3 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆50Updated 4 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated last month
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆92Updated 2 months ago
• thebabush / reflex
  Flex 'em lexers
  ☆40Updated 4 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 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
• fgsect / JMPscare
  tool for multi-execution jump coverage introspection
  ☆65Updated 4 months ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆17Updated 2 months ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 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
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆33Updated 8 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆83Updated this week
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 6 months ago
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆15Updated 3 years ago
• eknoes / libafl-dashboard
  A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor
  ☆24Updated last year
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆29Updated 2 years ago