Tools needed to analyze source code statically. Must check variable casting, unreachable code, potential variable assignments that can lead to logic problems.
Was lead in configuration of source code static analysis tools, to flag source not conforming to certification standards.