Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 22 Static Analysis Abstract Interpretation Open Source Projects

Open source projects categorized as Static Analysis Abstract Interpretation
Categories > Abstract Interpretation
Categories > Code Quality > Static 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
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 24 days 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
Frama C Snapshot ⭐ 125
Release snapshots of the Frama-C platform for source code analysis
most recent commit 3 years ago
Sturdy ⭐ 51
Sturdy is a library for developing sound static analyses in Haskell.
most recent commit 10 months 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
Sixtypical ⭐ 31
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
most recent commit 4 months ago
Lyra ⭐ 25
most recent commit 5 months ago
Progge.rs ⭐ 24
Program analysis playground for a simple, imperative language
most recent commit 2 years ago
Monadic Cfa ⭐ 14
Generic implementation of different CFA families based on monadic decomposition
most recent commit 11 years ago
Drift ⭐ 14
An abstract-interpretation-based static analysis for inferring refinement types
most recent commit a year ago
Occam ⭐ 12
OCCAM: Object Culling and Concretization for Assurance Maximization
total releases 8most recent commit 3 years ago
Function ⭐ 10
most recent commit 3 months ago
Ciaopp ⭐ 9
The Ciao Preprocessor
most recent commit 9 months ago
Libra ⭐ 8
most recent commit 3 years ago
Intabs ⭐ 6
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
most recent commit 5 years ago
Codepunk ⭐ 6
[WIP] Interval Analysis on LLVM IR
most recent commit 4 years ago
Lart ⭐ 6
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
most recent commit a year ago
The 2 Most Depended On Static 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
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 4 Latest Releases In Static 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
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
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.