love to see it, there's a huge opportunity in marrying this kind of traditional static analysis with AI tooling

like, literally years' worth of research that has mostly been ignored by industry because it's too complex / has too many false positives

both of which are problems that AI can dramatically mitigate