We've always had good tools for program analysis and testing. They're usually exhorbitantly expensive.

I'm hoping the good results with AI models drive down the prices of traditional tools. Then, we can train open models to integrate with them.