abstract-interpretation

Here are 75 public repositories matching this topic...

facebook / pyre-check

Star

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 19, 2021
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 Feb 8, 2021
C++

seahorn / seahorn

Star

SeaHorn Verification Framework

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

Updated Aug 17, 2021
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

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 Jan 13, 2021
Python

seahorn / clam

Star

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

Updated Aug 18, 2021
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 Oct 21, 2020
OCaml

vbpf / ebpf-verifier

Star

A new eBPF verifier, using abstract interpretation

static-analyzer ebpf abstract-interpretation ebpf-verifier

Updated Aug 19, 2021
C++

seahorn / crab

Star

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

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

Updated Aug 18, 2021
C++

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

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 Jul 9, 2021
Pascal

ucsb-seclab / sasi

Star

Signedness-Agnostic Strided-Interval

program-analysis abstract-interpretation

Updated Jun 21, 2019
C++

Kraks / sai

Star

Staged Abstract Interpreters

scala symbolic-execution staging interpreters abstract-interpretation meta-programming

Updated Aug 13, 2021
Scala

catseye / SixtyPical

Star

A 6502-oriented low-level programming language supporting advanced static analysis

static-analysis symbolic-execution flow-typing abstract-interpretation low-level-programming 6502-assembly experimental-language effect-system

Updated Oct 19, 2020
Python

caterinaurban / Lyra

Star

python data-science static-analysis abstract-interpretation

Updated Oct 1, 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

Antique-team / memcad

Star

The MemCAD static analyzer

c static-analysis ocaml abstract-interpretation shape-analysis

Updated Oct 5, 2017
OCaml

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

95616ARG / pikos_popl2020

Star

abstract-interpretation ikos

Updated Aug 24, 2020
C++

SRI-CSL / OCCAM

Star

OCCAM: Object Culling and Concretization for Assurance Maximization

llvm static-analysis abstract-interpretation pointer-analysis partial-evaluators debloating delayering

Updated Jul 15, 2021
C++

caterinaurban / Libra

Star

machine-learning static-analysis neural-networks abstract-interpretation fairness

Updated May 13, 2021
Python

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

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

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 10, 2021
Prolog

namin / abi

Star

scheme abstract-interpretation paper-implementations

Updated Aug 30, 2019
Scheme

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

PragmaTwice / codepunk

Star

[WIP] Interval Analysis on LLVM IR

llvm static-analysis interval-analysis abstract-interpretation

Updated Jul 6, 2020
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