Alternatives and similar repositories for ast-diff:

Users that are interested in ast-diff are comparing it to the libraries listed below

• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆120Updated 2 years ago
• 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.
  ☆66Updated 2 weeks ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆84Updated last month
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆22Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 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
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 11 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 3 weeks ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated 8 months ago
• trailofbits / tourniquet
  A Python library for easy and fast program transformation/repair
  ☆15Updated 3 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last month
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆21Updated 6 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆38Updated 10 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆11Updated 2 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆236Updated 2 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated last month
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• balayette / saphIR-project
  saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dyn…
  ☆32Updated 3 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago