Alternatives and similar repositories for awesome-ast

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

• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆38Updated last year
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 10 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• freeCompilerCamp / code-for-llvm-tutorials
  We try to put source files of llvm tutorials here
  ☆18Updated 4 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆32Updated 10 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• ddeville / lldb-commands-cheat-sheet
  LLDB Commands cheat sheet for Dash
  ☆27Updated 11 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 2 weeks ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated 4 months ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆165Updated 4 years ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆31Updated last month
• AlexDenisov / mlir-tutorial
  Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20
  ☆10Updated 2 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 8 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆279Updated last year
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆22Updated 7 years ago
• typetools / sparta
  Static Program Analysis for Reliable Trusted Apps
  ☆23Updated 6 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• Z3Prover / bin
  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  ☆18Updated 6 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago