Tools that help software developers write secure code are notably under-represented in today’s corporate arsenals. The reason is that checking source code for security weaknesses is a difficult task, ...