基于静态分析的函数调用关系研究.pdfVIP

总第 299期 计算机与数字工程 Vo1．42No．9 2014年第 9期 Computer＆DigitalEngineering 1653 基于静态分析的函数调用关系研究 苗 磊 陈莉君 (西安邮电大学计算机学院 西安 710121) 摘 要 为了帮助研发人员理解复杂系统的架构，通过对源码进行静态分析，在此基础之上，重点对函数调用关系进行 研究，并且基于开源编译器ncc实现了函数调用关系的解析。实验结果表明该方法可以有效地获取函数的调用关系且准确 地解析钩子函数对应的回调函数。 关键词 静态分析；指针分析；函数调用 中图分类号 TP311 1)131：10．3969／j．issn1672—9722．2014．09．027 RelationshipBetweenFunctionCallBasedon StaticAnalysis MIAOLeiCHENLijun (SchoolofCo mputerScienceandTechnology，Xi’anUniversityofPostsandTelecommunication，Xi’an 710121) Abstract Inordertohelpresearcherstounderstandthestructureofcomplexsystem ，basedonthestaticanalysisof sourcecode，focusonthestudyofrelationshipbetweenfunctioncall，andtherelationshipoffunctioncallhavebeenproposed onabasisofnccwhichisanopencomplier．Theexperimentalresultsshow thatthismethodcanobtain therelationshipof functioncalleffectively，andanalyzethecallbackfunctionwhichiscorrespondstothehookfunctionaccurately． KeyW ords staticanalysis，pointeranalysis，functioncall Cla,aNumber TP31】 只是确定了函数钩子但没有准确的获取钩子函数 1 引言 对应的回调函数。为此，本文试图通过对源代码进 随着软件规模的增加，体系结构的复杂化，软 行静态分析来实现函数调用关系的确定。 件系统的开发、维护、分析等变得越来越难，尤其对 于一些大型的软件系统或开源项 目，由于代码规模 2 概述 庞大，说明文档匮乏等原因，系统的理解变得愈发 2．1 程序分析 困难。为了帮助软件研发人员处理复杂的软件系 程序分析是对计算机程序的行为进行 自动分 统，软件可视化技术应运而生[1]。软件可视化技 析的过程 ，主要用于程序优化、程序正确性验证等 术通过分析程序 的源代码来产生系统 的类图或函 方面。程序分析技术包含两种：静态程序分析和 数调用关系图，从而帮助研发人员理解系统的结 动态程序分析。静态程序分析指在不执行程序的 构，进而快速地掌握系统的应用。 情况下对程序进行分析的过程 6【]，包含词法分 对于函数调用关系图，目前已经有很多软件或 析、符号执行、定理证明、抽象解释、约束分析、数 工具可 以生成，如 Windows中的 SourceInsight， 据流分析等等[8；动态程序分析是通过运行植入 Linux中的开源软件 ncc[、egyptE、codeviz[]等， 分析代码 的程序来对程