中文摘要：

源程序分析理论工具很实用，即使是忽略了指针分析的分析工具都常被使用到。本课题着力研究指针的追值推算方法（同类工具均忽略了指针），并将其实现于C程序分析系统CANAS中，显蓍地提高了分的的准确度和工具的实用性。CANAS以程序结构信息库PSIB为核心，将分析工作分为两步，第一步从程序中提取程序结构信息，存入PSIB；第二步利用PSIB信息，向用户提供各种功能。与同类工具相比它不仅实现了程序结构信息的查询、浏览、结构报告生成等同类工具所实现的常规功能。还利用PSIB信息，实现了《可编译切片分析工具》，支持老版本程序的复用； 还将软件复杂性度量方法与程序结构分析相结合，试探在源文件一级的分层分析方法。