Performant type-checking for python.
OCaml
Updated Mar 22, 2019
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++
Updated Mar 21, 2019
Static Analysis Compiler Plugin for Scala
Scala
Updated Jul 10, 2018
SeaHorn Verification Framework
A certifiable defense against adversarial examples by training neural networks to be provably robust
Python
Updated Jan 8, 2019
Release snapshots of the Frama-C platform for source code analysis
OCaml
Updated Nov 29, 2018
The Sparrow Static Analyzer
OCaml
Updated Jul 15, 2018
Static Analyzer for LLVM bitcode based on Abstract Interpretation
C
Updated Mar 17, 2019
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
C
Updated May 20, 2015
The MemCAD static analyzer
OCaml
Updated Oct 5, 2017
🎯 soap - Structural Optimisation of Arithmetic Programs
Python
Updated May 9, 2016
Generic implementation of different CFA families based on monadic decomposition
Haskell
Updated Jan 16, 2013
A 6502-like programming language with advanced static analysis
Python
Updated Jan 4, 2019
Python
Updated Feb 26, 2019
A new eBPF verifier, using abstract interpretation
Assembly
Updated Mar 20, 2019
C++
Updated Jul 3, 2017
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
C
Updated Jul 30, 2018
Reading club on programming languages and formal methods
Jupyter Notebook
Updated Mar 22, 2019
An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
C++
Updated Dec 8, 2018
HTML
Updated Aug 21, 2018
An abstract-interpretation based static analyzer written in Scala.
translate clang AST into CRAB
C++
Updated Nov 20, 2018
Python library for building embedded languages within Python that have alternative operational semantics and abstract…
Python
Updated Sep 17, 2017
An abstract-interpretation based static analyzer written in Scala.
C++
Updated Jul 3, 2017
pyApron: A library for numerical abstract domains manipulation based on Apron
Python
Updated Sep 5, 2018
Abstract Interpreter for JavaScript with perfect call/return matching.
Scala
Updated Jan 18, 2019
Library for Decision Diagrams over Linear Arithmetic
C
Updated Oct 4, 2017
Abstract interpretation in Idris
Idris
Updated Mar 6, 2017