基于Open64的可信指针分析框架研究.pdfVIP

第29卷第12期 计算机应用与软件 Vol_29No．12 2012年 12月 ComputerApplicationsandSoftware Dec．2012 基于 Open64的可信指针分析框架研究 周西柳 刘捡平 (新余学院数学与计算机科学学院 江西新余338004) 摘 要 提出保障程序可信性的指针分析基础架构，为上层提供通用和丰富的接 口及数据信息，不仅能够完成高效精确的指针分 析，同时还为上层软件检测提供可信支持。该框架采用一种高效的流敏感、上下文敏感的可信指针分析技术，该方法充分利用扩展 SSA形式，采用稀疏存储形式，提高了流敏感的分析效率。同时将需求驱动的分析策略引入到可信指针分析框架中来，能够有效地 避免盲 目的程序分析，使可信指针分析更具针对性，大大提高 了分析的性能。最后通过实验验证了该框架进行可信指针分析的高效 性和准确性。 关键词 可信指针 流敏感 上下文敏感 扩展SSA 需求驱动 中图分类号 TP311 文献标识码 A DOI：10．3969／j．issn．1000-386x．2012．12．072 RESEARCH ON TRUSTW oRTHY PoINTER ANALYSISARCHITECTURE BASED oN OPEN64 ZhouXiliu LiuJianping (CollegeofMathematicsandComputerScience，XinyuUniversity，Xinyu338004，Jiangxi，China) Abstract Thepaperproposesapointeranalysisinfrastructureusedforsafeguardingthedependabilityofsoftware，itprovidesacommon andplentyinterfacesanddatainformationofrtheupper，notonlyallowingefficientandaccuratepointeranalysis，butalsoprovidingcredible supportofrupperlayersoftwaredetection．Th eframeworkemploysanefficientflow—sensitiveandcontext—sensitivetrustworthypointernaalysis technique，makesfulluseoftheextendedSSAandadoptssparsestoragemechanism．Meanwhileitintroducesdemand—drivenanalysisstrate— giestotrustworthypointeranalysisframework，thereforecaneffectivelyavoidtheblindanalysisoftheprogram，andmakestheturstworthy pointeranalysismoretargeted，thesegreatlyimprovestheperformanceoftheanalysis．Finally，throughtheexperiments，wehaveverifiedthe efficiencyandaccuracyoftheframeworkinturstworthypointeranalysis． Keywords Turstworthypointer Flow sensitive Contextsensitive ExtendedSSA Demand-driven 序分析相结合，研究如何保障大规模软件的可信性已成为国内 0 引 言 外研究热点。本文提出了保障程序可信性的