您的位置: 专家智库 > 作者详情>陆麒

陆麒

作品数:1 被引量:0H指数:0
供职机构:北京神舟航天软件技术有限公司更多>>

文献类型

  • 1篇中文专利

主题

  • 1篇代码
  • 1篇语言编程
  • 1篇源代码
  • 1篇漏洞
  • 1篇控制流
  • 1篇编程
  • 1篇C语言
  • 1篇词法

机构

  • 1篇北京神舟航天...

作者

  • 1篇陆麒
  • 1篇崔小磊
  • 1篇程胜

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
基于静态分析的C语言安全规则检查方法
本发明涉及一种基于静态分析的C语言安全规则检查方法,其包括以下步骤:1)检查C语言的类型,避免强制类型转换的发生,禁止对通用指针类型的声明;2)规定全局变量和局部变量不可同名,全局变量与函数的形式参数不可重名;3)对控制...
程胜于鹏珊崔小磊陆麒
文献传递
共1页<1>
聚类工具0