> Your proposal of relying purely on static analysis is over-idealistic and just not feasible for large, diverse codebases in the real world.

"Just not feasible" is thought terminating, but regardless, I thought we were talking about ideals? Ideally you want the static analysis to work, not to rely on the non-deterministic bullshitter.