您的位置: 专家智库 > >

赵朋超

作品数:3 被引量:0H指数:0
供职机构:北京航空航天大学更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...

主题

  • 3篇漏洞
  • 3篇缓冲区
  • 3篇缓冲区溢出
  • 2篇代码
  • 2篇代码安全
  • 2篇源代码
  • 2篇漏洞检测
  • 2篇函数调用
  • 2篇程序源代码
  • 1篇溢出漏洞
  • 1篇缓冲区溢出漏...
  • 1篇C语言

机构

  • 3篇北京航空航天...

作者

  • 3篇赵朋超
  • 2篇王雷
  • 2篇陈归
  • 2篇张强

年份

  • 1篇2012
  • 1篇2009
  • 1篇2008
3 条 记 录,以下是 1-3
排序方式:
C语言缓冲区溢出漏洞静态检测工具的研究与实现
赵朋超
关键词:缓冲区溢出漏洞
基于约束分析和模型检验的代码安全漏洞检测方法
基于模型检测和约束分析的源代码漏洞检测方法,可以对C程序的源代码进行约束提取,使用模型检测来检测程序的安全漏洞。主要内容包括:利用约束分析技术对C程序源代码中涉及到得缓冲区属性信息进行提取,并利用这些缓冲区属性信息,在变...
王雷陈归赵朋超张强
基于约束分析和模型检验的代码安全漏洞检测方法
基于模型检测和约束分析的源代码漏洞检测方法,可以对C程序的源代码进行约束提取,使用模型检测来检测程序的安全漏洞。主要内容包括:利用约束分析技术对C程序源代码中涉及到得缓冲区属性信息进行提取,并利用这些缓冲区属性信息,在变...
王雷陈归赵朋超张强
文献传递
共1页<1>
聚类工具0