grepmarx: source code static analysis platform for security auditors