Checkmarx will help the Navy improve its software security and accelerate the development of secure software applications.