All Categories → No Category → abstract-interpretation

Top 12 abstract-interpretation open source projects

Performant type-checking for python.

✭ 5,716

python ocaml c Standard ML typescript shell security static-analysis code-quality program-analysis typechecker control-flow-analysis taint-analysis abstract-interpretation type-check

progge.rs

Program analysis playground for a simple, imperative language

✭ 29

rust c compiler llvm static-analysis program-analysis type-checking abstract-interpretation

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

✭ 16

haskell monads static-analysis abstract-interpretation k-cfa

SixtyPical

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

✭ 25

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

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

✭ 180

c C++CMake python llvm static-analysis program-analysis invariants software-verification abstract-interpretation

logically

explorations in core.logic

✭ 108

clojure abstract-interpretation paper-implementations binders

OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

✭ 20

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

sai

Staged Abstract Interpreters

✭ 58

scala scheme java C++c TeX symbolic-execution staging interpreters abstract-interpretation meta-programming

Lyra

No description or website provided.

✭ 23

python data-science static-analysis abstract-interpretation

sasi

Signedness-Agnostic Strided-Interval

✭ 32

C++shell c python Makefile program-analysis abstract-interpretation

soap

🎯 soap - Structural Optimisation of Arithmetic Programs

✭ 21

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

sturdy

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

✭ 49

pascal haskell java scheme typescript HTML interpreter static-analysis abstract-interpretation soundness-proof analysis-components

1-12 of 12 abstract-interpretation projects