Alternatives and similar repositories for divergent-representations:

Users that are interested in divergent-representations are comparing it to the libraries listed below

• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆14Updated last month
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• softsec-unh / MBA-Solver
  ☆39Updated 3 years ago
• trailofbits / vast-checker
  ☆24Updated last year
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆19Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆16Updated last year
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆28Updated 3 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 5 months ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 4 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆32Updated last year
• bajinsheng / ReZZan
  ☆35Updated 2 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• bordig-f / angr-strategies
  A cheat sheet that summarises "strategies" (or techniques) to use with angr.
  ☆29Updated 3 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆17Updated this week
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆31Updated last week
• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 7 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago