Alternatives and similar repositories for program-analysis-examples

Users that are interested in program-analysis-examples are comparing it to the libraries listed below

• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆28Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 7 months ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 weeks ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 6 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• charliermarsh / OCaml-SAT-Solvers
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Updated 11 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆28Updated 7 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• atgeller / WASM-Redex
  A model of the WebAssembly language in Redex
  ☆21Updated 4 years ago
• caterinaurban / function
  ☆13Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆13Updated 10 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 13 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆163Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated 4 months ago
• regehr / guided-tree-search
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆14Updated 2 months ago