📚 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
Feb 21, 2024 - Java