Advanced Methods for Performing Static Analysis of Machine Code

执行机器代码静态分析的高级方法

• 批准号: 0810053
• 负责人: Thomas Reps
• 金额: $ 30万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-08-01 至 2012-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0810053&HistoricalAwards=false
• 关键词: Advanced; Methods; Performing; Static; Analysis

The goal of the proposed project is to help programmers createcorrect, efficient, reliable, and secure software systems by providingimproved static-analysis techniques that can (i) verify properties ofa program's behavior, and (ii) find potential bugs and securityvulnerabilities in programs. The project will concentrate on theanalysis of machine code: the objectives are to enhance the scientificbasis for static analysis of machine code, to create prototype toolsthat apply the techniques developed in tools for analyzing safetyproperties of machine-code programs, and to measure how well the toolsperform.

该项目的目标是通过提供改进的静态分析技术来帮助程序员维护正确、高效、可靠和安全的软件系统，这些技术可以（i）验证程序行为的属性，（ii）发现程序中潜在的错误和安全漏洞。 该项目将集中于机器代码的分析：目标是加强机器代码静态分析的科学基础，创建原型工具，应用工具中开发的技术分析机器代码程序的安全属性，并测量工具的性能。