原文服务方: 现代电子技术       
摘要:
目前代码安全审查和白盒安全测试被广泛用于分析源代码并检测安全漏洞。这里描述一种基于安全特性参照树的更高效的代码安全审查方法,其中安全特性提取于源代码中所有可操作的内容。这种方法只在源代码层面进行安全检查,可以大大减少错误代码行为,并为自动化安全审查提供了有效的解决方案。
推荐文章
基于静态检测工具的源代码安全缺陷检测研究
静态检测工具
源代码
安全缺陷
统计分析
基于源代码分析的软件静态测试
源代码分析技术
软件缺陷
Klocwork
静态测试
一种基于证明树反演的安全漏洞定位方法
注入漏洞
数据库操作
反演
基于静态分析技术的源代码安全检测模型
数据流分析
控制流分析
别名分析
静态代码分析
源代码
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种高效检测源代码安全漏洞的代码审查方法
来源期刊 现代电子技术 学科
关键词 代码安全检测 漏洞检测 代码审查 参考树
年,卷(期) 2015,(5) 所属期刊栏目
研究方向 页码范围 83-86
页数 4页 分类号 TN915.08-34|TP393
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张涛 20 179 9.0 12.0
2 马媛媛 9 77 5.0 8.0
3 李伟伟 7 67 5.0 7.0
4 周诚 3 17 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (14)
共引文献  (23)
参考文献  (5)
节点文献
引证文献  (2)
同被引文献  (3)
二级引证文献  (1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(5)
  • 参考文献(0)
  • 二级参考文献(5)
2007(2)
  • 参考文献(1)
  • 二级参考文献(1)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2011(5)
  • 参考文献(4)
  • 二级参考文献(1)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
代码安全检测
漏洞检测
代码审查
参考树
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
总被引数(次)
135074
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导