security-analysis-redcheck-2.7