abstract-interpretation

Here are 86 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 Oct 28, 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 Jun 23, 2022
C++

KeenSecurityLab / BinAbsInspector

Star

BinAbsInspector: Vulnerability Scanner for Binaries

security reverse-engineering static-analyzer binary-analysis abstract-interpretation vulnerability-scanner ghidra

Updated Aug 7, 2022
Java

seahorn / seahorn

Star

SeaHorn Verification Framework

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

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

eBPF verifier based on abstract interpretation

static-analyzer ebpf abstract-interpretation ebpf-verifier

Updated Oct 29, 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 Oct 10, 2022
C

seahorn / crab

Star

A library for building abstract interpretation-based analyses

static-analysis verification program-analysis invariants abstract-interpretation

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

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

goblint / analyzer

Star

Static analysis framework for C

c static-code-analysis static-analysis ocaml program-analysis software-verification abstract-interpretation race-detection race-conditions

Updated Oct 29, 2022
OCaml

Kraks / sai

Star

Staged Abstract Interpreters

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

Updated Aug 24, 2022
Scala

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 Jun 3, 2022
Pascal

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 Jun 6, 2022
Rust

ucsb-seclab / sasi

Star

Signedness-Agnostic Strided-Interval

program-analysis abstract-interpretation

Updated Jun 21, 2019
C++

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 Apr 29, 2022
Python

Antique-team / memcad

Star

The MemCAD static analyzer

c static-analysis ocaml abstract-interpretation shape-analysis

Updated Oct 15, 2021

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