位置：成果数据库 > 期刊 > 期刊详情页
一种改进的指针安全分析算法
  • ISSN号：1671-8836
  • 期刊名称：《武汉大学学报：理学版》
  • 时间：0
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]武汉大学计算机学院,湖北武汉430072, [2]武汉大学空天信息安全与可信计算教育部重点实验室,湖北武汉430072, [3]新疆维吾尔自治区民族语言文字工作委员会,新疆乌鲁木齐830001
  • 相关基金：国家高技术研究发展计划（863）项目（2007AA01Z411 2006AA01Z442）; 国家自然科学基金资助项目（60673071 60970116）; 空天信息安全与可信计算教育部重点实验室开放基金资助项目（AISTC2008-01 AISTC2008Q02）; 湖北省自然科学基金资助重点项目（2008CDA007）
作者： 郭曦[1,2], 何炎祥[1], 张焕国[1,2], 胡颖[1,2], 加米拉·沙塔尔[1,3]
关键词： 指针安全, 数据流分析, Steensgaard算法, 精度, pointer safety, data-flow analysis, Steensgaard algorithm, precision
中文摘要：

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

英文摘要：

The safety of pointer is quite common in C programs,which affects the safety of a system enormously.The paper focuses the precision of the pointer static analysis,and presents an analysis of the current algorithms,and then proposes an improved pointer static analysis algorithm.Based on the Steensgaard algorithm,the control flow graph is improved,through which a more precise result of pointer analysis is obtained.The result is more precise than the current flow-insensitive pointer analysis.The algorithm is implemented in the compiler,which is the first commercial compiler developed in our lab.The results indicate that the algorithm can improve the precision of pointer analysis.

同期刊论文项目
密码部件的设计自动化研究
期刊论文 50 会议论文 4
非对称群密钥协商理论与关键技术研究
期刊论文 23 会议论文 16
　可信PDA计算平台关键技术与原型系统研究
期刊论文 15
同项目期刊论文
Extended Asymmetric Group Key Agreement for Dynamic Groups and Its Applications
Efficient many-to-one authentication with certificateless aggregate signatures
信息安全学科体系结构研究
A Scalable Robust Authentication Protocol for Secure Vehicular Communications
Provably-secure electronic cash based on certificateless partially-blind signatures
Balanced Trustworthiness, Safety, and Privacy in Vehicle-to-Vehicle Communications
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
Delegation of signing rights using certificateless proxy signatures
基于应用π演算的可信平台模块的安全性形式化分析
一类Bent函数的二阶非线性度下界
基于纠错编码的多变量公钥加密方案(英文)
基于中国邮递员问题的可信平台模块测试序列生成优化研究
针对动态群组及应用的扩展非对称群密钥协商协议(英文)
一类广义Bent函数的构造
轮换矩阵密码学性质
Generation Algorithm of a Sort of P-Permutations
Static Extracting Method of Software Intended Behavior Based on API Functions Invoking
多变量代数理论及其在密码学中的应用
信息安全学科体系结构研究
基于Bayesian信任网络的P2P访问控制
可信网络连接研究
可信计算平台信任链安全性分析
可信PDA计算平台系统结构与安全机制
多变元Hash函数的构造与分析
分组密码的硬件实现
SHA-2(512)热噪声随机数发生器
一种面向应用的FPGA互连资源故障检测方法
Analysis of affinely equivalent Boolean functions
On the degree of homogeneous bent functions
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
容忍入侵的自适应安全通信系统模型与设计
关于正形置换多项式的注记
6轮数据加密标准的演化分析
基于径向小波变换的图像特征提取算法
XEN虚拟机分析
一种改进的可信计算平台密码机制
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
基于中国邮递员问题的可信平台模块测试序列生成优化研究
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于1-MOMSDH假设的短群签名DAA方案
轮换矩阵密码学性质
可信网络连接中一种基于可信度的细粒度授权模型
Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
Generation Algorithm of a Sort of P-Permutations
A Fast Pseudorandom Number Generator with BLAKE Hash Function
基于演化计算的组合模型序列密码分析
一种动态随机数发生器
基于保形迭代深度问题的公钥密码体制
A Communication Security Protocol of Mobile Agent System
抗中文主动干扰的柔性中文串匹配算法
基于模糊理论的Ad Hoc网络可信性研究
一种新的可信平台模块
改进的素数域椭圆曲线密码处理器
A Note on Characteristic Generators of a Free Cyclic Code and Its Dual
A New Chaotic Function and Its Cryptographic Usage
Self-Dual Permutation Codes over Finite Chain Rings
一种基于彩票内容保护的电子彩票方案
实验教学与信息安全本科生实践创新能力培养
信息安全学科体系结构研究
可信网络连接研究
分组密码中P-置换的分支数研究
可信PDA计算平台系统结构与安全机制
一种改进的可信计算平台密码机制
GF（2^n）^m上的线性正形置换
轮换矩阵密码学性质
可信网络连接中一种基于可信度的细粒度授权模型
Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
基于演化计算的组合模型序列密码分析
改进的素数域椭圆曲线密码处理器
“数据结构”课程教学改革与实践的研究
Efficient Privacy Enhanced Software Registration with I D-Based Blind Signatures
一种基于智能卡的可信监视器程序实现方法
期刊信息
  • 《武汉大学学报：理学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国2教育部
  • 主办单位:武汉大学
  • 主编：刘经南
  • 地址：湖北武昌珞珈山
  • 邮编：430072
  • 邮箱：whdz@whu.edu.cn
  • 电话：027-68756952
  • 国际标准刊号：ISSN：1671-8836
  • 国内统一刊号：ISSN：42-1674/N
  • 邮发代号:38-8
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:6988