shack / synth

Related projects ⓘ

Alternatives and complementary repositories for synth

• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆53Updated last year
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆18Updated last year
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 2 years ago
• softsec-unh / MBA-Solver
  ☆39Updated 3 years ago
• yhyoon / simba
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆19Updated 11 months ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆47Updated 7 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• 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
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆38Updated 2 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 4 years ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆13Updated this week
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆32Updated last year
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆21Updated last week
• trailofbits / circuitous
  binary->LLVM->circuits
  ☆19Updated 8 months ago
• yellowbyte / zero-footprint-opaque-predicates
  obfuscation that aims to not stand out
  ☆20Updated 2 years ago
• meme / sumo
  Binary Ninja MLIL to LLVM IR lifter
  ☆14Updated 3 years ago
• Inception-framework / translator
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆13Updated 2 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• GrammaTech / retypd
  ☆69Updated 9 months ago
• USECAP / dream
  ☆19Updated 6 years ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆34Updated 4 years ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆12Updated last week
• 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
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆41Updated 10 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆50Updated last year