17 results found Sort:
- Filter by Primary Language:
- C++ (4)
- OCaml (3)
- C (2)
- Java (2)
- Kotlin (1)
- Clojure (1)
- Pascal (1)
- Python (1)
- Rust (1)
- Scala (1)
- +
Performant type-checking for python.
Created
2017-11-10
17,017 commits to main branch, last one 23 hours ago
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Created
2017-10-17
500 commits to master branch, last one about a month ago
BinAbsInspector: Vulnerability Scanner for Binaries
Created
2022-03-26
21 commits to main branch, last one 6 months ago
SeaHorn Verification Framework
Created
2015-03-01
2,952 commits to main branch, last one 7 months ago
eBPF verifier based on abstract interpretation
Created
2018-06-16
1,986 commits to main branch, last one 3 days ago
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Created
2017-06-30
1,339 commits to master branch, last one about a year ago
Corax for Java: A general static analysis framework for java code checking.
Created
2023-08-29
62 commits to main branch, last one about a month ago
A library for building abstract interpretation-based analyses
Created
2017-06-30
1,832 commits to master branch, last one about a year ago
A certifiable defense against adversarial examples by training neural networks to be provably robust
Created
2018-07-08
46 commits to master branch, last one 3 years ago
Static analysis framework for C
Created
2011-07-18
16,539 commits to master branch, last one 13 days ago
The Sparrow Static Analyzer
Created
2017-04-02
50 commits to master branch, last one 6 years ago
explorations in core.logic
Created
2013-01-16
115 commits to master branch, last one 5 months ago
Staged Abstract Interpreters
Created
2018-01-03
1,669 commits to master branch, last one about a year ago
Sturdy is a library for developing sound static analyses in Haskell.
Created
2018-03-21
903 commits to master branch, last one about a year ago
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Created
2020-09-22
1,905 commits to master branch, last one 3 months ago
Program analysis playground for a simple, imperative language
Created
2021-10-20
117 commits to master branch, last one 3 years ago
Software Security Analysis Course
Created
2024-04-28
118 commits to main branch, last one about a month ago