【摘 要】
：
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存
【机 构】
：
网络与交换技术国家重点实验室（北京邮电大学）,中国石油大学（华东）计算机与通信工程学院
【基金项目】
：
国家自然科学基金(91318301,61202080);国家高技术研究发展计划(863)(2012AA011201)
论文部分内容阅读
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.
其他文献
口腔有创操作有导致下牙槽神经损伤的风险,根管治疗术导致下牙槽神经损伤的情况虽然较为罕见,但一旦出现会造成较严重的神经症状。本文报道下颌磨牙根管治疗术后因根管充填材
精力充沛的窍门下面就是保持积极、愉快情绪，进行自我调节情绪的方法。自我激励即用生活中的哲理，榜样的事迹或明智的思想观念来激励自己，第一，相信未来是美好的，发生过的事已经成
中性粒细胞是机体防御系统的成员之一,在免疫反应中发挥着重要作用。中性粒细胞细胞外陷阱网(NET)是新近发现的中性粒细胞发挥作用的一种形式,除了能够诱获并杀灭病原体而发
昼夜节律时钟研究的最新进展赵文会（中国科学院国家基因研究中心，上海２００２３３）关键词昼夜节律时钟所有真核生物甚至一些原核生物都有一个基本特性：它们的生化、生理和行为等生命活动过程
人民群众的声乐学习情况和文化能力才是发展大众文化的根本，要想丰富群众的业余生活，就必须要让群众具备表现的机会，将学到的相关技能进行充分的展示。声乐艺术的发展必须要以群
目的在成功建立巨噬细胞(Mφ)体外培养模型基础上,比较不同来源Mφ的极化特性。方法采用密度梯度离心法和免疫磁珠法体外分离并培养外周血单个核细胞(PBMC),经人重组巨噬细胞
急诊科是医院的重要窗口,其救治水平关系着千家万户的幸福与安康,所以急诊工作十分繁忙,要做到紧张而有秩序。而120接警是院前急救的一个重要环节,120接警员除了具备良好的心
为准确评估含分布式电源的国防工程供电保障系统的可靠性，基于中压配电网的可靠性级别树算法，分析了采用3级供电模式的典型国防工程供电保障系统，建立相应开关树和断路树模型，并
山东省威海市作为牡蛎养殖大市,其牡蛎产业在威海市海洋经济中占有重要地位。笔者结合数据分析了威海牡蛎产业基本概况及发展机遇,就牡蛎产业发展过程中良种覆盖率低、养殖模
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技