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
19,748 commits to main branch, last one 15 hours ago
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Created
2017-10-17
507 commits to master branch, last one 2 months ago
BinAbsInspector: Vulnerability Scanner for Binaries
Created
2022-03-26
21 commits to main branch, last one 10 months ago
SeaHorn Verification Framework
Created
2015-03-01
2,952 commits to main branch, last one 11 months ago
eBPF verifier based on abstract interpretation
Created
2018-06-16
2,042 commits to main branch, last one 23 hours ago
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
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
65 commits to main branch, last one 3 months ago
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
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 4 years ago
Static analysis framework for C
Created
2011-07-18
17,956 commits to master branch, last one a day 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 9 months ago
Staged Abstract Interpreters
Created
2018-01-03
1,669 commits to master branch, last one 2 years 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,908 commits to master branch, last one about a month ago
Software Security Analysis Course
Created
2024-04-28
143 commits to main branch, last one 23 days ago
Program analysis playground for a simple, imperative language
Created
2021-10-20
117 commits to master branch, last one 3 years ago