一种改进的指针安全分析算法

来源 :2010年第四届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户：MickeyMouse01

【摘要】

：

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指

【作者】

：

郭曦何炎祥张焕国胡颖加米拉·沙塔尔

【机构】

：

武汉大学,计算机学院,湖北,武汉,430072;武汉大学,空天信息安全与可信计算教育部重点实验室,湖北,武汉,430072

【出处】

：

2010年第四届中国可信计算与信息安全学术会议

【发表日期】

：

2010年10期

【关键词】

：

指针安全数据流分析 Steensgaard算法精度

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

手性分子笼的非对映选择性组装及手性识别和分离性能

纳米尺寸分子笼的自组装一直是化学和材料领域的研究热点。利用刚性、高定向性的多齿配体与配位不饱和的金属化合物连结可以得到各式各样高对称性的笼状和囊状化合物，比如八面体构型的金属中心与具有二次或三次对称性的儿茶酚酰胺或β-二酮配体组装可以得到MxLy型笼状化合物，关于这方面Saalfrank等人做了许多开创性的工作。通过内修饰将手性功能基团引入分子笼可能拓宽其在不对称进程中的应用，但由于合成光学纯的手

会议

手性拆分自组装主客体化学

新型PPAR受体激动剂的合成和生物活性的初步研究

为寻找新型的过氧化物酶体增殖物激动剂，将芳香醛、萘丁美酮和对三氟甲基苯胺经Mannich反应直接合成了17个未见文献报道的β-氨基酮化合物。这些化合物通过IR，MS，1H NMR，13C NMR等方法进行结构表征与证实。该制备方法简便，条件温和，产品易纯化，收率达到68.3-97.3％。目标分子对α-葡萄糖苷酶抑制活性不高，但对过氧化物酶体增殖物激活受体(PPAR)的激动活性强度中等。

会议

糖尿病PPARMannich碱

萘酰亚胺氟康唑筠人工阴离子受体的合成及阴离子识别研究

阴离子在生命体系中起着重要作用，开发新型阴离子受体在超分子催化、阴离子识别与传感、阴离子自组装等方面的应用已成为当前超分子化学中异常活跃的领域之一。阴离子识别作用不同于阳离子，与受体分子间的成键能力较弱，一般以非共价相互作用力(如静电作用、氢键、疏水力等)维系。萘酰亚胺具有大的共轭体系及强的分子内电子转移，进而表现出许多独特的光电性能，被广泛应用于光电材料和染料等领域，尤其是在阴离子识别研究中可作

会议

萘酰亚胺氟康唑三唑鎓阴离子识别

简单芳香酮的多相不对称催化合成

多相手性催化剂与反应体系易于分离，可循环使用和再生，产物易于纯化，操作成本较低并适用于工业连续操作。简单芳香酮加氢产物光学活性的仲醇是合成许多生理活性药物的重要中间体，从这类化合物出发可以合成许多不同用途的有机化合物如手性药物，农药及香精等。

会议

简单芳香酮多相不对称催化合成

α,β-不饱和醇的多相催化合成

多相手性催化剂与反应体系易于分离，可循环使用和再生，产物易于纯化，操作成本较低并适用于工业连续操作。α,β-不饱和羰基化合物的加氢包含C=C与C=O的化学选择性加氢和C=O的不对称加氢两层含义，其加氢产物α,β-不饱和醇是合成香料、农药

会议

αβ-不饱和醇多相催化合成

基于水溶性Ru(Ⅱ)配合物的新型汞离子化学剂量计

汞是一种广泛分布于环境中的头号毒性金属元素。在水生环境中，汞可以经过微生物的催化作用而转化为亲脂性的有机汞，这种转化可使汞在食物链中发生富集进而由食物链进入人体导致汞中毒。因此，对环境中微量Hg2+的定性检测和定量分析对生命、环境和医学科学以及工农业生产等都具有重要的意义。本文选用Rtu(Ⅱ)配合物为荧光报告基团，合成设计合成了基于mlct发光的新型Hg离子化学剂量计(chemodosimeter

会议

Ru配合物汞离子探针化学剂量计

基于半青蓝素的新型水溶性Hg2+荧光探针

近年来，由于人为和自然因素，汞污染广泛存在。在环境中，细菌可以将无机Hg2+转化为甲基汞，甲基汞是一种神经毒素，并且与汞污染引起的严重的不可逆的神经损害有关。自然界中，汞毒性是通过食物链进行传递的。因此，合成研究各种Hg2+受体分子一直是一个研究热点，越来越多的人研究汞离子选择性检测的荧光化学传感器。在我们的先期研究中发现，以硒原子作为配位点的杯芳烃受体分子对Ag+、Hg2+具有较好的选择性，由于

会议

汞离子探针半青蓝素硒

最优轴压比及其在框架优化设计中的应用

文中对临界压力下压杆挠度的确定性问题进行一些研究，通过假定变形模态的方法，详细的研究两端铰支压杆失稳后小位移变形状态，指出给定边界条件下两端铰支压杆在临界失稳过程中存在一个恒等式(不变量)，利用该恒等式，可完全确定任意时刻下压杆失稳的小位移变形状态，从而给出压杆失稳后的变形状态的一个完整的描述，并通过进一步的分析，指出该恒等式的存在并不是一个特例，在任意给定边界条件均存在类似的恒等式，作为恒等式的

会议

压杆临界压力最大挠度边界条件不变量

部分框支剪力墙结构采用型钢混凝土存在的问题及对策

本文根据实际工程设计问题及经验，提出部分框支剪力墙结构采用型钢混凝土而产生的问题及对策，供设计人员参考。

会议

框支剪力墙型钢混凝土节点构造

苏州公园综合用房质量事故及加固处理

对苏州公园综合用房砖砌体结构主体封顶后南北向横墙出现严重斜裂缝，东西向内纵墙与横墙交接处门洞边出现竖向裂缝的原因进行了调查分析。在此基础上，提出了安全可靠、有针对性的加固处理方案。经后期房屋沉降和墙面裂缝观测，加固效果良好。

会议

砌体结构墙体开裂调查分析加固方案后期观测

一种改进的指针安全分析算法

与本文相关的学术论文