期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种改进的指针安全分析算法
被引量:
4
1
作者
郭曦
何炎祥
+2 位作者
张焕国
胡颖
加米拉.沙塔尔
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2010年第2期170-174,共5页
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对...
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.
展开更多
关键词
指针安全
数据流分析
Steensgaard算法
精度
原文传递
一个出具证明编译器后端的设计与实现
被引量:
1
2
作者
田波
陈意云
+2 位作者
王伟
李兆鹏
王志芳
《计算机工程》
CAS
CSCD
北大核心
2009年第7期132-135,共4页
设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性...
设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性别名问题。后端包括独立的定理检查器,能够检验携证明代码的完整性。
展开更多
关键词
高可信软件
出具证明编译器
指针安全
汇编代码
下载PDF
职称材料
题名
一种改进的指针安全分析算法
被引量:
4
1
作者
郭曦
何炎祥
张焕国
胡颖
加米拉.沙塔尔
机构
武汉大学计算机学院
武汉大学空天信息安全与可信计算教育部重点实验室
新疆维吾尔自治区民族语言文字工作委员会
出处
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2010年第2期170-174,共5页
基金
国家高技术研究发展计划(863)项目(2007AA01Z411
2006AA01Z442)
+4 种基金
国家自然科学基金资助项目(60673071
60970116)
空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008-01
AISTC2008Q02)
湖北省自然科学基金资助重点项目(2008CDA007)
文摘
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.
关键词
指针安全
数据流分析
Steensgaard算法
精度
Keywords
pointer safety
data-flow analysis
Steensgaard algorithm
precision
分类号
TP309 [自动化与计算机技术—计算机系统结构]
原文传递
题名
一个出具证明编译器后端的设计与实现
被引量:
1
2
作者
田波
陈意云
王伟
李兆鹏
王志芳
机构
中国科学技术大学计算机科学技术系
中国科学技术大学苏州研究院软件安全实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第7期132-135,共4页
基金
国家自然科学基金资助项目(60673126
90718026)
Intel中国研究中心基金资助项目
文摘
设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性别名问题。后端包括独立的定理检查器,能够检验携证明代码的完整性。
关键词
高可信软件
出具证明编译器
指针安全
汇编代码
Keywords
high-assurance software
certifying compiler
pointer safety
assembly code
分类号
N945 [自然科学总论—系统科学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种改进的指针安全分析算法
郭曦
何炎祥
张焕国
胡颖
加米拉.沙塔尔
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2010
4
原文传递
2
一个出具证明编译器后端的设计与实现
田波
陈意云
王伟
李兆鹏
王志芳
《计算机工程》
CAS
CSCD
北大核心
2009
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部