Defeating constraint based program analysis with temporal correlation function

来源 :高技术通讯:英文版 | 被引量 : 0次 | 上传用户:cshan225500
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Constraint based program analysis is widely used in program validation,program vulnerability analysis,etc.This paper proposes a temporal correlation function to protect programs from analysis.The temporal correlation function can be applied to resist agai
其他文献
<正>一、深圳传统建筑的发现与保护情况我市在八十年代初期进行的第一次文物普查中,共发现文物古迹500余处,其中除古文化遗址103处和中英街界碑1处外,余者皆属传统建筑范畴。
会议
文章在分析十六大有关国有资产管理体制改革的理论新突破的基础上,指出目前人们在理解十六大有关国有资产管理体制改革新理论上存在的若干误区,并提出建立适应社会主义市场经济
<正>目的探讨非痫性发作的临床特点,以及心因性癫痫发作的临床特点和脑电图特征及可能误诊的原因。方法纳入于2014年7月至2018年4月因发作性事件于癫痫科住院及进行长程脑电
会议
InNanlin,alargenumberofPb-ZndcpositsandSbdcpositsincludingtheworldfamousgiantSbdepositcalledXikuangshanmineareDevoniancarbonaterock-liosted,Ourjnvcstigationsugg
期刊
新型工业化成为中国经济的新希望,是中国走向现代化的基本前提。新型工业化与传统工业化的分界线在于前者建立在新科技革命与新产业革命的基础上,从而摆脱传统工业化的资源约束
<正>健康老龄化对国家、对社会、对个人都有着重大的意义。实现健康老龄化的关键,在于提高老年人生活质量和生命质量,这里必要的措施是多方面的,其中重要的一个环书是改善睡
会议
院长办公室是医院综合职能部门,是医院行政管理中枢,在医院管理中起着重要作用。加强院长办公室能力建设,应重点提高或增强“四个力”。