Alternatives and similar repositories for accsynt:

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

• gatelabdavis / RANE
  ☆23Updated 2 years ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆16Updated 10 months ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• DependableSystemsLab / pinfi
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆16Updated 6 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆24Updated 5 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 2 months ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 3 years ago
• shack / synth
  Synthesis of loop-free programs
  ☆16Updated this week
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• chjs / mmio-tracer
  It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.
  ☆19Updated 7 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆41Updated 5 years ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆13Updated last month
• FPSG-UIUC / synthCT
  Repository for synthCT framework (NDSS'22)
  ☆9Updated 2 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated this week
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 10 months ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆15Updated last year
• HexHive / datashield
  ☆17Updated 4 years ago
• naoyam / MemoryTracer-pintool
  ☆16Updated 10 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• firodj / bbtrace
  Basic Block Trace: DynamoRIO client
  ☆27Updated 3 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 6 years ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆16Updated 2 weeks ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last week
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 7 years ago
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago