Performant type-checking for python.
python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check
- Updated
- OCaml
#
abstract-interpretation
Here are 123 public repositories matching this topic...
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- Updated
- C++
BinAbsInspector: Vulnerability Scanner for Binaries
security reverse-engineering static-analyzer binary-analysis abstract-interpretation vulnerability-scanner ghidra
- Updated
- Java
SeaHorn Verification Framework
llvm static-analysis verification model-checking program-analysis abstract-interpretation horn-clauses
- Updated
- C
eBPF verifier based on abstract interpretation
- Updated
- C++
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
- Updated
- C
Static Analysis Compiler Plugin for Scala
- Updated
- Scala
Corax for Java: A general static analysis framework for java code checking.
java security security-audit static-code-analysis static-analysis code-analysis owasp vulnerability software-analysis program-analysis taint-analysis soot abstract-interpretation cwe sarif sast flowdroid
- Updated
- Kotlin
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
- Updated
- C++
Static analysis framework for C
c static-code-analysis static-analysis ocaml program-analysis software-verification abstract-interpretation race-detection race-conditions
- Updated
- OCaml
A certifiable defense against adversarial examples by training neural networks to be provably robust
- Updated
- Python
Release snapshots of the Frama-C platform for source code analysis
- Updated
- OCaml
explorations in core.logic
clojure metaprogramming prolog logic-programming abstract-interpretation paper-implementations binders
- Updated
- Clojure
Sophisticated static program analysis framework for the R programming language.
r linter static-analyzer r-language abstract-interpretation dataflow-analysis program-slicing program-comprehension static-program-analysis
- Updated
- TypeScript
Static Analysis Course
static-analysis symbolic-execution abstract-interpretation data-flow-analysis value-flow static-analysis-course
- Updated
- C++
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
java analysis static-analysis analyzer cybersecurity formal-methods lisa static-analyzer program-verification static-analyzers abstract-interpretation
- Updated
- Java
Staged Abstract Interpreters
- Updated
- Scala
Sturdy is a library for developing sound static analyses in Haskell.
- Updated
- Pascal
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
fortran opencl c99 cuda parallelization abstract-interpretation automatic-parallelization interprocedural polyhedral-model
- Updated
- C
Improve this page
Add a description, image, and links to the abstract-interpretation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the abstract-interpretation topic, visit your repo's landing page and select "manage topics."