Software Quality Improvement Through Static Analysis and Annotation (2011–2014)

The project will develop better methods for automatic static analysis of software to find latent errors and security loopholes, thereby improving the quality of the code. The methods will be applicable to widely used but insecure languages, such as C and C++, and efficient enough to apply to very large code bases. The approach will make use of code annotations (such as assertions, invariants and extended type systems) to improve the precision of the program analysis process and hence reduce the amount of software developer time spent on bug-finding.'',
Grant type:
ARC Linkage Projects
  • Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Australian Research Council