📚 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
Aug 16, 2024 - Java