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
• FPSG-UIUC / synthCT
  Repository for synthCT framework (NDSS'22)
  ☆10Updated 2 years ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆17Updated 10 months ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• shack / synth
  Synthesis of loop-free programs
  ☆16Updated this week
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 3 months ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆16Updated this week
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• HexHive / datashield
  ☆17Updated 4 years ago
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 2 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated last year
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆13Updated 2 months ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated this week
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 6 years ago
• MSRSSP / hyperfuzzer-seeds
  ☆9Updated 3 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• naoyam / MemoryTracer-pintool
  ☆16Updated 10 years ago
• swarupchandra / secure-analytics-sgx
  Securing Data Analytics on Intel SGX using Randomization
  ☆12Updated 7 years ago
• can-lehmann / egraphs.cpp
  E-Graph library
  ☆14Updated last year
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆30Updated last year
• vusec / dangzero
  ☆17Updated last year
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• firodj / bbtrace
  Basic Block Trace: DynamoRIO client
  ☆27Updated 3 years ago
• trtikm / Rebours
  A framework for control-flow recovery in binary programs.
  ☆10Updated 6 years ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 3 years ago