Automatic generation of network element software (AGNES): short paper

The security of computer networks is critical to our nation's civil and military infrastructure. Eliminating vulnerabilities in network software will significantly improve security of our computer and military systems. The Automatic Generation of Network Element Software (AGNES) code generator will generate network element software that is free from known weaknesses which in turn will reduce vulnerabilities. AGNES uses an ontology of coding solutions based on network element standards and the Common Weakness Enumeration (CWE) database to avoid common weaknesses. The generated software will be put through rigorous static analysis to validate the absence of known weaknesses. The generated code will be compared to open source software for comparison of code quality, functionality and performance.