> It should be possible through traditional static analysis

Even better/worse, could do it with regex on text streams.

There's some space for interpretation in picking exactly which exception type to use depending on context (value error vs runtime error vs not implemented error), and there may be package specific exceptions available.

Everything requires an LLM nowadays.

Especially if you want to get funding