Resource Static Analysis

资源静态分析

• 批准号: EP/G006032/1
• 负责人: David Aspinall
• 金额: $ 12.9万
• 依托单位: University of Edinburgh
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2009
• 资助国家: 英国
• 起止时间: 2009 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FG006032%2F1
• 关键词: Resource; Static; Analysis

Software systems and computer networks are prone to failure. The National Institute of Standards and Technology estimates software errors cost the U.S. economy $59.5 billion annually. It is likely that costs in Europe are on a similar scale.Static Analysis is a technique for analysing software without executing it, to help detect and repair defects. With increasing complexity of software, traditional testing and validation techniques are stretched to the limit. Automated static analysis tools look set to become a crucial part of modern software development. We will build a demonstration static analysis tool for Java which targets a new class of software defects not considered by existing tools: those arising from resource usage violations. This Follow-on Fund project aims to capitalise on a ground-breaking strand of research supported by EPSRC funds since 2000, set in a wider background of over 40 years of world-leading research in Types, Logic, and Theorem Proving at the University of Edinburgh, much of which was also funded by EPSRC and its predecessors.

软件系统和计算机网络容易出现故障。美国国家标准与技术研究所估计，软件错误每年给美国经济造成595亿美元的损失。欧洲的成本很可能也差不多。静态分析是一种在不执行软件的情况下分析软件的技术，以帮助检测和修复缺陷。随着软件复杂性的增加，传统的测试和验证技术已经到了极限。自动化静态分析工具看起来将成为现代软件开发的关键部分。我们将为Java构建一个演示静态分析工具，它的目标是现有工具没有考虑到的一类新的软件缺陷：那些由资源使用违规引起的缺陷。该后续基金项目旨在利用EPSRC基金自2000年以来支持的突破性研究，该项目建立在爱丁堡大学40多年来在类型、逻辑和定理证明方面的世界领先研究的更广泛背景下，其中大部分研究也是由EPSRC及其前身资助的。

项目成果

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic

使用摊销和分离逻辑的 Java 字节码静态资源分析

• DOI: 10.1016/j.entcs.2011.11.003
• 发表时间: 2011
• 期刊: Electronic Notes in Theoretical Computer Science
• 作者: Fenacci D

An approach for comparing agricultural development to societal visions.

将农业发展与社会愿景进行比较的方法。

• DOI: 10.1007/978-3-319-99423-9_5
• 发表时间: 2022
• 期刊: Agronomy for sustainable development
• 影响因子: 7.3
• 作者: Helfenstein J

Amortised Resource Analysis with Separation Logic

具有分离逻辑的摊销资源分析

• DOI: 10.2168/lmcs-7(2:17)2011
• 发表时间: 2011
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Atkey R

Algebra and Coalgebra in Computer Science

计算机科学中的代数和余代数

• DOI: 10.1007/978-3-642-22944-2_7
• 发表时间: 2011
• 作者: Balan A