Linkage Projects - Grant ID: LP0989643

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/LP0989643

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Software Quality Improvement Through Static Analysis and Annotation. 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.

Funded Activity Details

Start Date: 21-02-2011

End Date: 28-02-2014

Funding Scheme: Linkage Projects

Funding Amount: $279,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Operating Systems | Logics And Meanings Of Programs | Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities |

Other Keywords

Application tools and system utilities | Computer Software | Logics And Meanings Of Programs | Operating Systems | Software Engineering

Related Links