abstract-interpretation

Here are 64 public repositories matching this topic...

facebook / pyre-check

Performant type-checking for python.

python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Aug 11, 2020
OCaml

NASA-SW-VnV / ikos

Star

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

static-analysis program-analysis software-verification abstract-interpretation

Updated Jul 9, 2020
C++

HairyFotr / linter

Star

Static Analysis Compiler Plugin for Scala

scala linter static-analysis program-analysis abstract-interpretation compiler-plugin

Updated Jul 10, 2018
Scala

seahorn / seahorn

Star

SeaHorn Verification Framework

llvm static-analysis verification model-checking program-analysis abstract-interpretation horn-clauses

Updated Aug 10, 2020
C

eth-sri / diffai

Star

A certifiable defense against adversarial examples by training neural networks to be provably robust

attack neural-network pytorch robust defense abstract-interpretation

Updated Jun 27, 2020
Python

seahorn / crab-llvm

Star

Static Analyzer for LLVM bitcode based on Abstract Interpretation

llvm static-analysis program-analysis invariants software-verification abstract-interpretation

Updated Jul 29, 2020
C

Frama-C / Frama-C-snapshot

Star

Release snapshots of the Frama-C platform for source code analysis

c static-analysis ocaml formal-verification abstract-interpretation runtime-verification

Updated Dec 4, 2019
OCaml

namin / logically

Star

explorations in core.logic

clojure metaprogramming prolog logic-programming abstract-interpretation paper-implementations binders

Updated Aug 31, 2019
Clojure

ropas / sparrow

Star

The Sparrow Static Analyzer

c static-analyzer abstract-interpretation

Updated Jul 15, 2018
OCaml

seahorn / crab

Star

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

static-analysis program-analysis abstract-interpretation invariant-generation

Updated Jul 29, 2020
C++

vbpf / ebpf-verifier

Star

A new eBPF verifier, using abstract interpretation

static-analyzer ebpf abstract-interpretation ebpf-verifier

Updated Dec 12, 2019
C++

Par4All / par4all

Star

Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs

fortran opencl c99 cuda parallelization abstract-interpretation automatic-parallelization interprocedural polyhedral-model

Updated May 20, 2015
C

svenkeidel / sturdy

Star

Sturdy is a library for developing sound static analyses in Haskell.

haskell interpreter static-analysis abstract-interpretation soundness-proof analysis-components

Updated Aug 7, 2020
Pascal

ucsb-seclab / sasi

Star

Signedness-Agnostic Strided-Interval

program-analysis abstract-interpretation

Updated Jun 21, 2019
C++

Antique-team / memcad

Star

The MemCAD static analyzer

c static-analysis ocaml abstract-interpretation shape-analysis

Updated Oct 5, 2017
OCaml

catseye / SixtyPical

Star

A 6502-like programming language with advanced static analysis

static-analysis abstract-interpretation 6502-assembly experimental-language effect-system

Updated Oct 25, 2019
Python

caterinaurban / Lyra

Star

python data-science static-analysis abstract-interpretation

Updated Apr 23, 2020
Python

admk / soap

Star

🎯 soap - Structural Optimisation of Arithmetic Programs

python fpga design-space-exploration abstract-interpretation high-level-synthesis floating-point-accuracy-problems

Updated May 9, 2016
Python

ilyasergey / monadic-cfa

Star

Generic implementation of different CFA families based on monadic decomposition

monads haskell static-analysis abstract-interpretation k-cfa

Updated Jan 16, 2013
Haskell

Kraks / sai

Star

Staged Abstract Interpreters

scala staging abstract-interpretation meta-programming

Updated Aug 11, 2020
Scala

95616ARG / pikos_popl2020

Star

abstract-interpretation ikos

Updated Mar 26, 2020
C++

dfava / readingclub

Star

Reading club on programming languages and formal methods

security machine-learning programming-languages formal-methods formal-verification abstract-interpretation

Updated Mar 22, 2019
Jupyter Notebook

PragmaTwice / codepunk

Star

[WIP] Interval Analysis on LLVM IR

llvm static-analysis interval-analysis abstract-interpretation

Updated Jul 6, 2020
C++

ChunghaSung / intAbs

Star

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

static-analysis priority abstract-interpretation interrupt-driven-programs apron

Updated May 20, 2019
C

fiigii / JsCFA-prototype

Star

Abstract Interpreter for JavaScript with perfect call/return matching.

javascript scala control-flow-analysis type-inference abstract-interpretation

Updated Jun 1, 2019
Scala

lapets / pydrogen

Star

Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.

semantics static-analysis decorators python-library abstract-syntax abstract-interpretation overloading

Updated Sep 17, 2017
Python

ciao-lang / ciaopp

Star

The Ciao Preprocessor

static-analysis prolog abstract-interpretation

Updated Jun 4, 2020
Prolog

caterinaurban / function

Star

c static-analysis ocaml termination abstract-interpretation liveness

Updated Aug 21, 2018
HTML

multiparty / carousels

Star

Library for concisely defining abstract metrics over JavaScript syntax.

javascript performance analysis performance-metrics static-analyzer performance-analysis abstract-interpretation

Updated Aug 1, 2020
JavaScript

jansvoboda11 / sav

Star

Abstract interpretation of LLVM IR with Facebook SPARTA.

facebook llvm abstract-interpretation sparta llvm-ir

Updated Dec 14, 2019
C++

Improve this page

Add a description, image, and links to the abstract-interpretation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abstract-interpretation topic, visit your repo's landing page and select "manage topics."

Learn more