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 6 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆74Updated this week
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• llvm-hs / llvm-hs-pretty
  Pretty printer for LLVM AST to Textual IR
  ☆68Updated 2 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 6 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆42Updated 7 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 11 months ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated last year
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• Mtac2 / Mtac2
  ☆54Updated 2 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 5 months ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated 2 weeks ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆27Updated 11 months ago