Discovery Projects - Grant ID: DP150102109

Funding Activity

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

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

Sparse Demand-Driven Analysis to Improve Software Reliability and Security. Current static analysis tools can eliminate many bugs missed by traditional testing but they are still imprecise or inefficient. This project aims to develop precise pointer analyses that enable -finding clients to detect bugs efficiently in large-scale programs in C/C++ and Java, where pointers are used pervasively. The novelty lies in performing these analyses sparsely (allowing data-flow information to move directly from variable definitions to their potential uses) based on Context-Free-Language-reachability (enabling client queries to be answered on-demand). The outcomes aim to significantly improve the reliability and security of industrial-sized software.

Funded Activity Details

Start Date: 31-03-2015

End Date: 31-12-2017

Funding Scheme: Discovery Projects

Funding Amount: $266,300.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Computer Software |

ANZSRC Socio-Economic Objective (SEO)

Application Tools and System Utilities

Other Keywords

Application Tools and System Utilities | Computer Software | Programming Languages

Related Links