was an alternative to automated vulnerability detection that aimed to improve the more powerful manual inspection of source code. It identified unknown vulnerabilities using programming patterns ...