kmicinski / program-analysis

Related projects ⓘ

Alternatives and complementary repositories for program-analysis

• 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
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆35Updated 3 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆36Updated 10 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• bedrocksystems / BRiCk
  Formalization of C++ for verification purposes.
  ☆69Updated this week
• 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.
  ☆60Updated last year
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆20Updated 9 months ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated this week
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 2 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• TiarkRompf / reachability
  ☆38Updated this week
• malyzajko / daisy
  ☆43Updated 4 months ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆208Updated this week
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated last year
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 5 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆79Updated 2 months ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆53Updated 6 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆46Updated 10 months ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆38Updated 10 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago