Wouldn't Sorbet count as static analysis? It even supports gradual typing specifically for legacy codebases.
https://sorbet.org/docs/gradual
Wouldn't Sorbet count as static analysis? It even supports gradual typing specifically for legacy codebases.
https://sorbet.org/docs/gradual