drek: A static-code-analysis tool for performing security-focused code reviews