Vericode: A security testing tool used to find flaws in software through static and dynamic analysis; integral to the MOJ's secure development lifecycle.