Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Program Analysis Abstract Interpretation Open Source Projects

Open source projects categorized as Program Analysis Abstract Interpretation
Categories > Abstract Interpretation
Categories > Security > Program Analysis
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
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
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 a month ago
Crab ⭐ 199
A library for building abstract interpretation-based analyses
most recent commit 7 months ago
Analyzer ⭐ 143
Static analysis framework for C
most recent commit 3 months ago
Sasi ⭐ 27
Signedness-Agnostic Strided-Interval
most recent commit 5 years ago
Progge.rs ⭐ 24
Program analysis playground for a simple, imperative language
most recent commit 2 years ago
The 2 Most Depended On Program Analysis 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
The 3 Latest Releases In Program Analysis 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
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.