安全编码实践三:C/C++静态代码分析工具Prefast

来源 :程序员 | 被引量 : 0次 | 上传用户:jinshi46
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Prefast是微软研究院提出的静态代码分析工具。本文阐述了与之相关的技术。
其他文献
医用耗材循证管理重视全面系统地收集证据、通过自身的工作积累创造证据、严格地评价证据,并以此为基础指导工作。医用耗材循证管理证据体系中包括了产品资质证据、产品质量
似漫漫征途.代码发展至今已有大半个世纪,从如同象形文字般的纸孔设计到01机器指令序列、到能进行简单翻译的汇编伪指令集……到后来的结构化程序语言和如今的面向对象语言设计
本文简单介绍在S60 3rd Edition上的Python for S60。文档所述内容并不针对运行于S60 1st或2nd Edition的Python for S60。
不可否认,至少在国内,Erlang仍然是一门非常冷门和陌生的语言。尽管《程序员》杂志之前曾经对Erlang做过两次介绍,最近在我跟技术圈子里面的朋友提起Erlang的时候,多数人的反
目的:针对呼吸对心血管系统的调节作用,研究呼吸引导技术模式。方法:以心率变异性为目标函数.研究受试者在渐进性的呼吸放松过程中的呼吸模式变化规律.获得呼吸运动基本模板。结果
多态存在的主要原因是.总是和反病毒软件的存在相关的。在那个没有多态引擎的时代,反病毒软件通过简单地使用一个扫描字符串来检测病毒,它们最困难地是加密了地病毒。所以,一个病
编程大师如是说:个写得完美的程序是其自身的天堂.而一个写得糟糕的程序则是其自身的地狱。”
期刊
Java开源国度的十年成就.并不单纯以在SourceForge上的项目数量超越C/C++成为第一这样的数字来计算.而是以一个开源社区.一个生态系统的最终完备来衡量。每日生活其中的人们可能并
根据脉搏动态网格图像数据的特点,结合透镜成像原理,提出了根据各帧图像中网格面积的变化获取脉管径向离面位移信息的方法。应用该方法可获取脉搏图像表面多点离面位移变化信息,并可根据各点位移量对网格薄膜表面进行重构,实现脉搏波动三维信息可视化。
一直以来,国外大型软件公司都以其强大的技术实力和人性化的团队管理吸引着众多的中国本土软件开发者。无论是对于经验丰富的开发人员,还是刚刚踏入软件行业门槛的程序员,国际化