Alternatives and similar repositories for cozy

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

• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated 2 years ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆15Updated 2 weeks ago
• niconaus / pcode-interpreter
  ☆23Updated 2 years ago
• rbran / sleigh3rust
  A demontration of disassemblers generated by sleigh2rust
  ☆13Updated 7 months ago
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆21Updated 7 months ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• yhyoon / simba
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆20Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• can-lehmann / egraphs.cpp
  E-Graph library
  ☆14Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆19Updated last year
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 6 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 4 months ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆43Updated 5 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆69Updated this week
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆28Updated 4 years ago
• eqv / hexslides
  An opinionated tool to create amazing presentations
  ☆36Updated 2 years ago
• kudu-dynamics / blaze-platform
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆52Updated 5 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 6 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months 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 5 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆45Updated 3 weeks ago