【摘 要】
：
提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统CF
【基金项目】
：
国家重点研发计划基金资助项目(No.2017YFB0802900);江苏省自然科学基金资助项目(No.BK20131069)~~
论文部分内容阅读
提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统CFGNative。实验结果表明,CFGNative可准确识别样例中所有的JNI函数调用和原生方法,并能够在可接受的时间内达到较高的代码覆盖率。
其他文献
伴随着社会经济的进一步发展以及人们生活质量水平的提高,大家对于房屋建筑工程的质量要求也越来越高。于是房屋建筑工程主体结构的检测就显得尤为关键,其对于房屋建筑工程主
以西北地区某铁路专用线大桥为例,通过该桥桥址处湿陷性黄土深桩基施工技术研究,以机械钻进黄土裂隙地层、强风化泥岩、砂岩夹泥岩层、流砂层等不良地质积累施工数据和参数,
以不同浓度的氯化钠为诱变剂，运用根尖细胞微核检测技术和染色体畸变实验方法，测定了豌豆根尖细胞的有丝分裂指数、微核率和染色体畸变率。结果表明：氯化钠能降低豌豆根尖细胞的
含氮杂环化合物广泛存在于自然界中,一般具有一定的生物活性和药理活性,所以在药物研究中具有相当重要的价值。其中,喹啉及其衍生作为一类非常重要的含氮杂环化合物,在很多方
虽然Kraepelin对躁狂和抑郁的描述已有一个多世纪，但快速循环这一术语直至1974年才由Dunner和Fieve引入。DSM-Ⅳ和CCMD-3将快速循环双相障碍定义为在过去的12个月中有4次心境
为了促进高校R&D活动的发展,重庆医科大学采取了对科技项目实施经费配套的措施,以补充R&D活动经费的不足。实施这种措施后,该校在科技立项方面产生了保障效应、再科研效应、
代码审查是发现软件的缺陷、保证软件的质量的重要手段。现今对特定专业领域的软件进行代码审查时一般采用传统的代码审查方法,但传统的代码审查方法仍存在一些问题,基于此,
在原油输送工程中，常和离心泵作为原油输送泵组。泵样本上给出的离心泵组的特性都是用水试验得出的。因此，当输送性质不同于水的液体时，应考虑介质性质对泵组特性的影响。需对泵
吉林油田英台气田营城组裂缝性火山岩富含天然气,埋藏深,储层温度最高达140℃。该区块部署的评价井龙深1平1井属小井眼长水平段水平井,完钻井深为4 048 m,1 122 m的小井眼长
现今,中国经济社会发展进入了新时代,建筑企业面临愈加激烈的市场竞争,如何充分发挥建筑企业工会的作用,增强企业员工的凝聚力,充分调动企业员工爱岗敬业的积极性、创造性和