安全编程代码静态分析

《安全编程代码静态分析》主要内容:为什么常规的Bug捕获技术经常找不出安全问题。怎样才能通过静态分析帮助程序员做好安全工作。决定一个静态分析工具成败的关键属性和算法。提高 …… [ 展开全部 ]
  • 作者:Brian Chess Jacob West
  • 出版社:机械工业出版社
  • 定价:56.00元
  • ISBN:7111233212
作者简介
  • 2017-11-26 15:24:50 摘录
    Jacob west管理着 Fortify software公司的安全研究小组,该小组负责将安全知识构建到 Fortify公司的产品中。 Jacob带来了各种编程语言、框架和风格的专家意见,同时还带来了有关现实中的系统为何会失败的知识。在加入 Fortify公司之前, Jacob在加州大学伯克利分校和Davd Wagner教授一起开发安全属性模型检查计划( Model checking programs for security properties,MOPS),MOPS是一种用于揭示C语言程序中安全漏洞的静态分析工具。在告别编程之后, Jacob花了大量的时间在各种研讨会上发言,并和客户一起工作以提高他们对软件安全的理解
    他住在加州的旧金山( San francisco, California)
    这条书摘已被收藏0