Static Code Analysis - A Behind-the-scenes Look • Arno Haase • GOTO 2022

Languages I'm used to, Objective-C 2.0 and Swift, have used static analysis successfully as a deterministic, automated memory management system at compile time, combined with reference counting, for quite some time on a mass scale. Curious why this hasn't become the norm for all higher-level languages as a replacement for garbage collection.

I was always curious about how much does the static analyzer really "understand" about the code. Great talk! Thank you.

Thanks for the talk!
In between I had some thoughts of "oh, that's why rust is not doing X"