Alternatives and similar repositories for awesome-ast:

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

• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆37Updated last year
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆31Updated 10 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 9 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆51Updated 9 years ago
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆26Updated this week
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 weeks ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• aoh / blab
  a grammar-based data generator
  ☆59Updated 6 years ago
• freeCompilerCamp / code-for-llvm-tutorials
  We try to put source files of llvm tutorials here
  ☆18Updated 4 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆199Updated 2 months ago
• ddeville / lldb-commands-cheat-sheet
  LLDB Commands cheat sheet for Dash
  ☆27Updated 10 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆22Updated 7 years ago
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 8 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 9 years ago
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆185Updated 2 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆38Updated 9 years ago