Fortify

Fortify (now part of the massive OpenText empire) is an incredibly powerful, deeply entrenched veteran leviathan that mathematically dominates the "Government and Defense" sector. It engineered a terrifyingly rigorous, uncompromising static analysis engine (SCA). It is the absolute weapon of choice for the Department of Defense and massive global defense contractors who mathematically demand the most exhaustively proven, mathematically rigorous vulnerability scanner on earth to secure classified military software.