I'd like to see static analysis and formal verification become more integrated with our development practices, especially w.r.t. security. In a perfect world,

I'd like to see static analysis and formal verification become more integrated with our development practices, especially w.r.t. security. In a perfect world, I'd like to run an analyzer on my CRUD app's source code, and have it list the 37 vulnerabilities I overlooked.