Gravar-mail: Proactive discovery and mitigation of security vulnerabilities leveraged by software-defined networks