第卷期计算机学报３２ ９Ｖｏｌ．年月０ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴｅｐｔ激敏感合并指针中科院所系统结构重点实验室北京摘是静态础精度直接影响后续和性用来描述否需区体对象不同成文提出一种法利标器模型数据布局信息行层使地址偏移组表示个能更确还原有类推规则做了尽量避免在变时造损失保证新正将赋值操作转换每大明该显著往而运销几乎当集至间获植键词风格别名ｓｒｄ图号／犇犗犐６犃狀狉犲狊犻狏犾犉犱犛狋犝犳犮犪狅犅犘犵狔ＹＧＱ犓犔犫犆犿狆狌犺犜犼ｂｆｗｖｊＤｘｋ’狑收稿日：；最终修改到本课题得国家“八六三”高技术研究发展划项目基金以编译为支撑的４１７可靠软件开工具与环境（）资助于洪涛，男生博士主要方向程序分析及优化８Ｚ５ｍａｉ张兆庆女员导师领域先进相关ｈｙｕ＠ｃｎｚｑｇ书
期洪涛：激看相反引言每１ 视与例片段｛｝指针是一种特殊的数据类型，变量用来保犳狅狆狇狊狓存某个程序对象地址允许我们能够间接操作狔!＝牔这在语中使非常广泛．Ｃ原因表达唯到就途径比如动态分配储另会而可以生成更高效代码将为函参传递组或大结构体普遍从测试析／访所有向位置包括全局ＰＥ占百、部区域等平均流问题解决度何直必影响其它很多得好坏此于本文介绍实含别名行静往目基础过去年里研究２０标机模布信息应层已经技术重点之至今依然献推导规则活跃领内容主要系避免损失精和时空率做取舍元素建验显集合小衡著开销几乎当出越说明该确低提优化编译器［］运速加上不５％仅性良检错也同样人赖减少形版采公共误报及漏准二十涌现了子前缀立关秀果最具力两借图３工价ＡｎｄｅｒｓＳｔｇａ被称风格者致给（）敏感情况赋值ｉｃｌｕｏｂ犻三次方项式复杂即新由考虑并无知道ｆ长犮近线但犵法后都改进思想步扩展ＹＨｋｐ４６；些各７９Ｄ描述否需还利员他没讨论
计学报年９利用目标机器信息改进风格的分析Ｓｔｅｎｓｇａｒｄ．因为这种并不是一平凡，需要算法本身此外再没有工作来域敏感性先定义能赋值语句抽象［１０］认缺陷指针Ｙｏ如难看和函具将可移植然而在现代编译里我们调都转换成以从模型中得到数据布局尽早地反映·存储犛犕犈＃间表示上事实已经Ｏｐ６４取址｜提供了样基础展方文配犾狅狋…达式操给出激会图所向狆狀２狌→狉； ｉ犻３犆犃犔ｆｌ犳｛｝ｕｃ犪犫犮狊狓犱犲犵〈〉狕＝牔－＞言规范允许直接结构体变量行强制类（）之开员果某则个程序Ｃ继续内发生起似乎增加码积必即使时它影响长度后面非常于推导系统献首建立套准由组合７应该质且保证正确描述良好ｗｙ静态守际运动造每予顺处理条些最终环境就整过还设相对例子情况下ＩＡ
期洪涛合析的实施过程，而推导规则就相当于具体分算法本节我们先介绍类型和第再．５９４１ ６用来描述存储对象指向情况为序中８每个赋予一非标准变量该定义如下·α＝τ×λ（）⊥｜ｂｌａｎｋｓｉｍｐｅ狊犻狕犲ｔｒｕｃ犿ｏｊ犱…狀＋〈〉狅犳狋→ｇ值或者是函数犵针改包括出现、组结构以及堆ＩＡ称表示种并：同因此给果什么目前未知；整虽然２两它但长度上３映射关系所有可能正确性由流敏感注销保域成员到二元偏移证某素致弱新何配布局无得这质记载了形参时良好ｗｙｄ返回信息静态图例子经之后守地际运行动造其些间基利设计比文献［］更简单也激７去进处在将机器模据解释全等价应统另被刻画别名说块不区空狆狇狉犼部｛｝犪犫犮０∨!牔∧"
计算机学报年７ ０９分等价的，即狅!发生只能自１２．种情况狋"表示类型变量对应存储象指向是条件相同概念将在后文解释首地址作接下来我们定义规则每含进行引用图最ａ处理一程序语句时必须保证使约束被满足标提升方式就唯：犃犕犈节介绍无论哪τ５靠（）狑犲犾狔狆犱＝当前环境经过之为了良好犮此和函ＭＥ多限制部关系要求显堆建模所通而不全出于针精度考虑例如片段；犪４狓∈狀果具有那么…完实际上这并严格整个中任何或其它某析犫得到也可以会λ［３］结更详细因犳狌→意思说否空＿／ｓｉｍｐｌｅ×狊犻狕ｏｂｊｃｔ牔二ｒｕ犿犉狉６′两子间取共组成第明＋别名构体起始域员样做合由赋值都内数据调⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥⊥
期洪涛：激敏感９之后，形参和实的指向必须条件相同返回值犿也３Ｆ犕犈．这类型规则保证我们针分析是守６与文献［］区别允许７具有由中间表示改进ｓｔｒｕｃ体系将在下一节介绍推导５ 映射第域员果此还那么其提升过程就等于个良好序环境本要如何行犪犾狅犮能够约束成立以及部关"⊥风格种基价Ｓｅｎｇａｄｋ（）阶段运ｑｉｖｌｂ并查集数据结构上ｏｆ４…每变量用际不交合两狆狀被认为＝处使操作来设计函完ｊ对!达式都＿利可犳狌→狉先定义然再解释所到辅助伪代码附录施而当算法１ｈ２狋ＧＥＣＲ≠获得存储象或似赋牔取某地址给ｙｐｍτ×λ狊犻狕犲＋
学报年８９［…］ ｆｏｒ犻∈１狀ｄ构采＿（，）ｃｊｉｎｅ犲狋能够降低分析空开销＋某本没程序函数调用相当于一些列赋值语句首先将点处就需建立配实参给应的形然后返回其次犕犈．节５２犼狅省间出现合并使查集上操作直接新表示两个类型变量不交成原再计算ｕｙ组３体系第述刻画４我们定义来ｔｐｈａ区具帮助如图元素方法忽略下狆狇狉０!同假设记是文献中规ｂ７Ｓｓ种正确由流敏感等价被之ｇ注在要或高这整弱更为和会ｍｌ也完例；｛｝犪犫犮狊它重叠＝牔里利信根据则保证指向以及息精尽减少别名样导致效比较进而所有域员都全准判断情况做激可避免因只另必须提升仅携带起存储布局与目标机器模从始顺关续结果还认互惰性映射生犳犵得到对象ＧＥＣＲ那么无技术ＬｚＦＭ获该遇时才此加入至部"即
期洪涛条件合并两个类型变量的指向＿实现一通过．ｃｊｏｉｎｒｅｆ样要以图（）体系为依据出大５ａ只需它们即可完从ｓｍｐｌ同也言使很普遍ｂｔ而当某是时候，ｕ占百情况看上去有点复杂正如之前介绍规则２最少多达平均％９和推导分析那由于中间表示赋值语句都在内定义数发生所直接对结构象操作被转化其相应域成员ｚｖ８因此针具能来自种：将首地址第１然后解引用ｑｋ标提升方式就唯无论哪取际ｘ果还ｗｈ文献［］保证约束立必７犪"犫高或等么这会致原全部除外每与验６ 展我编译器了敏感Ｏ４基法及本ＳｇｄＦ激进连带着不Ａ３行比例Ｉ各列含【测试】程序名涉别储位置访存问统计ＰＥＣ０集若干得到狊!狆－＞
计算机学报年所以选择列【间接域访存数】作为衡量对象而不可能性根据制了一是因区分直成员操否归化方图激进敏感别名很容易的，且大部都通过参考如看１０６指针完类值越表明两条远高于即它够．几率小要显多平均用去除在上相比有得来代每个中同程提其超半例子幅我们析精度倍说出种基合并较２ ３测试最时４ｇｚｉｐ７５９ｖｒ８ｃｍｅｓａｔｆｑｕｋｌｏｘｂｗｎｈｊ到（）实验序做更没增加Ｃ开销原尽避免之本当减少另采ＡＦＳ
期洪涛等惰性域成员映射技术来降低分析的时空开销或者称风格非．我们还将这种指针结果应用于构建完整常广泛流３过程调图在上，对函数优具接近线间复杂８点被实例化该所有向象文献改允许互赋值两Ｄ因此会添加相边第级从二测试始要率１７ｍｅｓａ效差极为明显中共处６利增ＦＩ条平均每了本人其形２９５版采最公前缀４Ｓ０立类型之系Ｙ比几乎没提高而思想扩展给同Ａ解只些推各确精度大约倍著与当序特征发现个都是围绕目标机器信息着体模他认样缺陷ＧＬｃｏｎｔｘ 犆移植且讨论何进行访存操作绝多变量由凡Ｐ不敏感使看一表示虽然算更但子并步原得出通＿获定义如下ｇｌｈｒｄ（）ｖｉ激｛往；狆犻犱狋面：据布局＝犵犲ｆ＜犕犃犡犜犎犚犈犇犛＋层储受益［］犺狉犪犐编译灵活框架又Ｏｐｕ狅狀狓｝尽避免造损失犖犝犔生能地可以返回组元素迟省刻画区节述也就说ｂｊ验无法Ｃ运则做到关工参考基合方式ｙＲ
计算机学报年ａｎｌｙｓｉｄｏｔｈｅｒｍｂｇｕｆＣ／ｐＰｃＡＭＳＩＧＬＮ２０１ＶＤ．，：ｗＵ４７５８［］ＯｚｖＫ９Ｒｘ３ＢＴＦ６ＨｋＹＪＥＺ（）ＱＷ附录 合并函数以及推导规则中用到的辅助伪代码ｊ犲＝⊥｛｝←∪τ×λ狊犻狕≠狋犿〈〉狅→狓∈＿
期于洪涛等激进域敏感基合并的指针分析９７（，）ｃｊｏｉｎτ２λ［］： ｓｔｒｕ犿〈〉ｌｅ狅１狊→＝Ｆｆｙｐ＿ｍｂ３×犻狕犲ａｄ４…狀＋′∈狋犪狆ＮｗＭＡＰＬｖｇｋＥＣＲｈ←
计算机学报年７４（〈，〉）ｉｆｎｏｔｖｅｒｌａｐ狅１狊ｓ犿犪狆→τ３＝ｍｇＭｋＥＣＲｊ２ !狋ｄｙ←Ｇ犕犈ｃ［］：狓ｕ×λ犻狕犲ＮｗＡＰ０犳Ｆｂ＿⊥ｈ犢犝犎狀犵犜９８．Ｄ犣犃犖犌犺犙Ｈｚ
期于洪涛等：激进域敏感基合并的指针分析９７犅犪犮犽犵狉狅狌犱 ＰｏｉｎｔｅｒａｌｙｓｋｄｆｐｇｍｃｈｑｕｗＡｘｖ．ＦｂＬｊ，Ｏ’ＢＣ＋Ｍ“ＨＲＳ”Ｎ（）８６３２０１Ｚ５ＴＤ４Ｉｚ
