abstract-interpretation

Here are 81 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 Apr 8, 2022
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 Jan 27, 2022
C++

seahorn / seahorn

Star

SeaHorn Verification Framework

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

Updated Mar 19, 2022
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

vbpf / ebpf-verifier

Star

A new eBPF verifier, using abstract interpretation

static-analyzer ebpf abstract-interpretation ebpf-verifier

Updated Apr 5, 2022
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 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 Mar 28, 2022
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

seahorn / crab

Star

A library for building abstract interpretation-based analyses

static-analysis verification program-analysis invariants abstract-interpretation

Updated Apr 9, 2022
C++

namin / logically

Star

explorations in core.logic

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

Updated Mar 16, 2022
Clojure

ropas / sparrow

Star

The Sparrow Static Analyzer

c static-analyzer abstract-interpretation

Updated Sep 19, 2021
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 Mar 2, 2022
Pascal

Kraks / sai

Star

Staged Abstract Interpreters

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

Updated Apr 9, 2022
Scala

ucsb-seclab / sasi

Star

Signedness-Agnostic Strided-Interval

program-analysis abstract-interpretation

Updated Jun 21, 2019
C++

skius / progge.rs

Star

Program analysis playground for a simple, imperative language

programming-language compiler llvm static-analysis program-analysis type-checking abstract-interpretation

Updated Dec 12, 2021
Rust

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

Antique-team / memcad

Star

The MemCAD static analyzer

c static-analysis ocaml abstract-interpretation shape-analysis

Updated Oct 15, 2021

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

SRI-CSL / OCCAM

Star

OCCAM: Object Culling and Concretization for Assurance Maximization

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

Updated Dec 6, 2021
C++

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

caterinaurban / Libra

Star

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

Updated Oct 31, 2021
Python

UniVE-SSV / lisa

Star

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

java analysis static-analysis analyzer cybersecurity formal-methods lisa static-analyzer program-verification static-analyzers abstract-interpretation

Updated Apr 1, 2022
Java

95616ARG / pikos_popl2020

Star

Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

abstract-interpretation ikos

Updated Aug 24, 2020
C++

femtomc / abstraps

Star

Pull your compiler up with abstract bootstraps.

intermediate-representation abstract-interpretation compiler-design

Updated Jan 4, 2022
Rust

ciao-lang / ciaopp

Star

The Ciao Preprocessor

static-analysis prolog abstract-interpretation ciao-prolog

Updated Mar 7, 2022
Prolog

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

namin / abi

Star

scheme abstract-interpretation paper-implementations

Updated Aug 30, 2019
Scheme

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

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

Mar	APR	May
	09
2021	2022	2023