Adaptive value-flow analysis to improve code reliability and security

自适应价值流分析可提高代码可靠性和安全性

• 批准号: DE170101081
• 负责人: A/Prof Yulei Sui
• 金额: $ 25.19万
• 依托单位: University of Technology Sydney
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Early Career Researcher Award
• 财政年份: 2017
• 资助国家: 澳大利亚
• 起止时间: 2017-01-01 至 2020-02-29
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DE170101081
• 关键词: Adaptive; value; flow; analysis; improve

This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.

该项目旨在开发Cluue-flysisis，以在C ++中撰写的系统软件中的软件错误。 - 世界大小的软件。