Resource Static Analysis

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

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.