论文部分内容阅读
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循环”、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.
精确的堆内存使用量上界分析
【摘 要】
：
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循
【机 构】
：
国防科技大学 计算机学院 并行与分布处理国家重点实验室,湖南 长沙 410073
【出 处】
：
2011年全国理论计算机科学学术年会
【发表日期】
：
2011年期
其他文献
最具煽动性的发言【周榕】哈佛大学建筑学硕士,清华大学建筑学院助理,教授(从奥北区域价值对大化实现的角度提出了见解,也呼吁开发商自下而上的影响力)从历史上看,北京市总
伴随着我国现代化教育水平的不断提高以及教学改革力度的不断深入,终止教育对现代化人才培养具有的促进作用逐渐被人们看到,并且在现代化教育理念以及多元化教学措施的促进下
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Es
会议
给价值一个公正的目光我们经常在谈区域的价值,抛却房地产行业的浮夸的概念性宣传,区域的价值细分开来主要有三类。一类是区域潜力价值,潜力价值相关于区域的升值潜力和前景
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的
对象代理模型通过引入代理对象和代理类的概念对传统面向对象数据模型进行了扩展,更加灵活地实现了对象视图、角色多样性以及对象移动等多种抽象机制.对象代理数据库模式的规
为了促进需求模型间的互操作并有效评估角色与目标注册元模型为两种需求模型提供的互操作能力,提出了一种互操作能力评估方法.实验中以需求模型i*和KAOS对Meeting Scheduler
“遏制投机性需求.控制投资性需求.鼓励普通商品住房和经济适用住房建设.合理引导住房消费”.是新一轮宏观调控的重点。而“投机”作为首要的打击对象.在原则上已经被判了“