Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Abstract Interpretation Open Source Projects

Open source projects categorized as Abstract Interpretation
Categories > Abstract Interpretation
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Ikos ⭐ 1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
most recent commit 3 months ago
Binabsinspector ⭐ 1,450
BinAbsInspector: Vulnerability Scanner for Binaries
most recent commit 4 months ago
Sparta ⭐ 600
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
total releases 3most recent commit 3 months ago
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25most recent commit a year agocargo falcon} Downloads
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago
Ebpf Verifier ⭐ 320
eBPF verifier based on abstract interpretation
total releases 1most recent commit 3 months ago
Linter ⭐ 270
Static Analysis Compiler Plugin for Scala
total releases 6most recent commit 6 years ago
Clam ⭐ 247
Static Analyzer for LLVM bitcode based on Abstract Interpretation
most recent commit 23 days ago
Crab ⭐ 199
A library for building abstract interpretation-based analyses
most recent commit 7 months ago
Diffai ⭐ 167
A certifiable defense against adversarial examples by training neural networks to be provably robust
most recent commit 3 years ago
Analyzer ⭐ 143
Static analysis framework for C
most recent commit 3 months ago
Frama C Snapshot ⭐ 125
Release snapshots of the Frama-C platform for source code analysis
most recent commit 3 years ago
Logically ⭐ 106
explorations in core.logic
most recent commit 2 years ago
Sparrow ⭐ 86
The Sparrow Static Analyzer
most recent commit 6 years ago
Mjolnir.jl ⭐ 77
A little less conversation, a little more abstraction
most recent commit 2 years ago
Sai ⭐ 59
Staged Abstract Interpreters
most recent commit a year ago
Sturdy ⭐ 51
Sturdy is a library for developing sound static analyses in Haskell.
most recent commit 10 months ago
Codehawk ⭐ 49
CodeHawk Abstract Interpretation Engine and Analyzers
most recent commit 3 months ago
Effects Without Monads But With Dotty ⭐ 41
most recent commit 4 years ago
Jsctags ⭐ 39
Intelligent ctags-compatible code indexing for JavaScript
most recent commit 9 years ago
Par4all ⭐ 38
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
most recent commit 9 years ago
Lisa ⭐ 33
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
dependent packages 3total releases 4most recent commit 3 months ago
The 3 Most Depended On Abstract Interpretation Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25latest release February 15, 2023most recent commit a year agocargo falcon} Downloads
Lisa ⭐ 33
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
dependent packages 3total releases 4latest release October 09, 2023most recent commit 3 months ago
The 8 Latest Releases In Abstract Interpretation Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Lisa ⭐ 33
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
dependent packages 3total releases 4latest release October 09, 2023most recent commit 3 months ago
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25latest release February 15, 2023most recent commit a year agocargo falcon} Downloads
Ebpf Verifier ⭐ 320
eBPF verifier based on abstract interpretation
total releases 1latest release September 01, 2022most recent commit 3 months ago
Abstraps ⭐ 17
Pull your compiler up with abstract bootstraps.
total releases 9latest release December 31, 2021most recent commit 2 years ago
Occam ⭐ 12
OCCAM: Object Culling and Concretization for Assurance Maximization
total releases 8latest release March 10, 2021most recent commit 3 years ago
Linter ⭐ 270
Static Analysis Compiler Plugin for Scala
total releases 6latest release November 24, 2016most recent commit 6 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.