Alternatives and similar repositories for program-analysis

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

• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated 3 weeks ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 10 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆68Updated 7 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆22Updated last year
• malyzajko / daisy
  ☆48Updated 10 months ago
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆80Updated this week
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆52Updated last year
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 2 months ago
• BillHallahan / G2
  ☆36Updated this week
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• Mtac2 / Mtac2
  ☆55Updated last month
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated last month
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated last month
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated 2 years ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆88Updated 3 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago