Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for abstract interpretation
abstract-interpretation
x
48 search results found
Pyre Check
⭐
6,606
Performant type-checking for python.
Ikos
⭐
1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Binabsinspector
⭐
1,450
BinAbsInspector: Vulnerability Scanner for Binaries
Sparta
⭐
600
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Falcon
⭐
492
Binary Analysis Framework in Rust
Seahorn
⭐
391
SeaHorn Verification Framework
Ebpf Verifier
⭐
320
eBPF verifier based on abstract interpretation
Linter
⭐
270
Static Analysis Compiler Plugin for Scala
Clam
⭐
247
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Crab
⭐
199
A library for building abstract interpretation-based analyses
Diffai
⭐
167
A certifiable defense against adversarial examples by training neural networks to be provably robust
Analyzer
⭐
143
Static analysis framework for C
Frama C Snapshot
⭐
125
Release snapshots of the Frama-C platform for source code analysis
Logically
⭐
106
explorations in core.logic
Sparrow
⭐
86
The Sparrow Static Analyzer
Mjolnir.jl
⭐
77
A little less conversation, a little more abstraction
Sai
⭐
59
Staged Abstract Interpreters
Sturdy
⭐
51
Sturdy is a library for developing sound static analyses in Haskell.
Codehawk
⭐
49
CodeHawk Abstract Interpretation Engine and Analyzers
Effects Without Monads But With Dotty
⭐
41
Jsctags
⭐
39
Intelligent ctags-compatible code indexing for JavaScript
Par4all
⭐
38
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
Lisa
⭐
33
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Sixtypical
⭐
31
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
Jandom
⭐
30
An abstract-interpretation based static analyzer written in Scala.
Canal
⭐
28
Abstract interpreter for real-world application programs
Sasi
⭐
27
Signedness-Agnostic Strided-Interval
Lyra
⭐
25
Progge.rs
⭐
24
Program analysis playground for a simple, imperative language
Soap
⭐
18
🎯 soap - Structural Optimisation of Arithmetic Programs
Abstraps
⭐
17
Pull your compiler up with abstract bootstraps.
Monadic Cfa
⭐
14
Generic implementation of different CFA families based on monadic decomposition
Drift
⭐
14
An abstract-interpretation-based static analysis for inferring refinement types
Occam
⭐
12
OCCAM: Object Culling and Concretization for Assurance Maximization
Function
⭐
10
Wstat
⭐
9
While language static analyzer
Ciaopp
⭐
9
The Ciao Preprocessor
Pikos_popl2020
⭐
9
Silva
⭐
8
Silvarum Interpretatione Lator Valens Analysis - Stability analyzer for tree ensemble calssifiers.
Libra
⭐
8
Intabs
⭐
6
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
Codepunk
⭐
6
[WIP] Interval Analysis on LLVM IR
Abstract_vuln_finder
⭐
6
Checking for buffer overflows using abstract interpretation on lifted llvm bitcode (not finished)
Bait
⭐
6
A ω-regular language inclusion checker
Jscfa Prototype
⭐
6
Abstract Interpreter for JavaScript with perfect call/return matching.
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.
Picasso
⭐
5
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
Absolute
⭐
5
Constraint solver based on abstract interpretation
Related Searches
Static Analysis Abstract Interpretation (40)
1-48 of 48 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.