Software Engineering Daily is one of the premier podcasts for software developers, and they recently did interview with GrammaTech's VP of engineering, Paul Anderson.
After a brief introduction to static analysis, Paul discuss various topics related to static analysis. Topics include: use cases for static analysis, an introduction to binary code analysis and a discussion of the trade offs necessary between precision, recall and performance. Paul also provides some interesting examples of where static analysis has found some really hard-to-find bugs in software. Wrapping up the talk, Paul discusses GrammaTech's recent accomplishments at the Cyber Grand Challenge.
Listen to the podcast here:
After listening, if you're interested in a 30-day free trial of CodeSonar, start here now.