Alternatives and similar repositories for ctadl

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

• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months ago
• trailofbits / binary_type_inference
  ☆19Updated 10 months ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆21Updated last month
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆37Updated last month
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆30Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆70Updated 2 weeks ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆49Updated 4 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆29Updated last month
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆114Updated 4 months ago
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆67Updated last year
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆114Updated this week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆119Updated this week
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 months ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆192Updated 2 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆23Updated last month
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆20Updated 3 weeks ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆84Updated last month
• NikolajBjorner / ShonanArtOfSAT
  Schedule for ArtOfSAT
  ☆10Updated last year
• FutureComputing4AI / Reverse-Engineering-Function-Search
  ☆10Updated 8 months ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆38Updated last week
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆143Updated this week
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆226Updated this week
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last month