Software Quality Improvement Through Static Analysis and Annotation

软件构成了支持电子商务等行业的关键基础设施的基础。软件中的缺陷可能会导致整个系统的故障，或者允许绕过软件的安全机制。该项目正在开发通过查找导致安全漏洞或运行时失败的常见缺陷来提高软件质量的方法。在澳大利亚，估计有大约75,000名软件开发人员大量使用C/C++，他们可以从更好的自动静态分析工具的可用性中受益，以提高他们产生的代码的质量和他们的生产率。

Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.