Advanced Methods for Performing Static Analysis of Machine Code

点击翻译按钮获取中文摘要

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.