Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with abstract-interpretation
A curated list of projects in awesome lists tagged with abstract-interpretation .
https://github.com/facebook/pyre-check
Performant type-checking for python.
abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker
Last synced: 29 Sep 2024
https://github.com/nasa-sw-vnv/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 30 Sep 2024
https://github.com/NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 01 Aug 2024
https://github.com/keensecuritylab/binabsinspector
BinAbsInspector: Vulnerability Scanner for Binaries
abstract-interpretation binary-analysis ghidra reverse-engineering security static-analyzer vulnerability-scanner
Last synced: 30 Sep 2024
https://github.com/KeenSecurityLab/BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
abstract-interpretation binary-analysis ghidra reverse-engineering security static-analyzer vulnerability-scanner
Last synced: 04 Aug 2024
https://github.com/seahorn/seahorn
SeaHorn Verification Framework
abstract-interpretation horn-clauses llvm model-checking program-analysis static-analysis verification
Last synced: 30 Sep 2024
https://github.com/vbpf/ebpf-verifier
eBPF verifier based on abstract interpretation
abstract-interpretation ebpf ebpf-verifier static-analyzer
Last synced: 29 Sep 2024
https://github.com/hairyfotr/linter
Static Analysis Compiler Plugin for Scala
abstract-interpretation compiler-plugin linter program-analysis scala static-analysis
Last synced: 29 Sep 2024
https://github.com/HairyFotr/linter
Static Analysis Compiler Plugin for Scala
abstract-interpretation compiler-plugin linter program-analysis scala static-analysis
Last synced: 03 Aug 2024
https://github.com/Kraks/sai
Staged Abstract Interpreters
abstract-interpretation interpreters meta-programming scala staging symbolic-execution
Last synced: 08 Aug 2024
https://github.com/par4all/par4all
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
abstract-interpretation automatic-parallelization c99 cuda fortran interprocedural opencl parallelization polyhedral-model
Last synced: 29 Sep 2024
https://github.com/pragmatwice/codepunk
[WIP] Interval Analysis on LLVM IR
abstract-interpretation interval-analysis llvm static-analysis
Last synced: 01 Oct 2024
https://github.com/jhu-pl-lab/dde
Pure Demand Operational Semantics
abstract-interpretation coq interpreter ocaml operational-semantics program-analysis
Last synced: 27 Sep 2024