积分商城

最新搜索： microBUCK和microBRICK直流/直流稳压器解决方案 绝对值编码器 加密 stm32 1553B 总线
您现在的位置是：首页 > 技术资料 > splint manual，splint静态代码规则扫描工具的用户手册
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

splint manual，splint静态代码规则扫描工具的用户手册

更新时间：2019-12-18 19:55:28 大小：533K 上传用户：olipic888查看TA发布的资源 标签：splint静态代码规则扫描工具 下载积分：1分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

splint静态代码规则扫描工具的用户手册。

部分文件列表

文件名 大小
splint-manual.pdf 533K

【关注视频号领20积分】   【关注公众号立即送20积分】

部分页面预览

（完整内容请下载后查看）
Splint Manual  
Version 3.1.1-1  
5 June 2003  
Secure Programming Group  
University of Virginia  
Department of Computer Science  
Splint Manual  
Authors  
This manual was written by David Evans, except for Section 9 and Appendix B which were  
written by David Larochelle and David Evans.  
Credits  
Splint is developed and maintained by the Secure Programming Group at the University of  
Virginia Department of Computer Science. David Evans is the project leader and the primary  
developer of Splint. David Larochelle developed the memory bounds checking. University of  
Virginia students Chris Barker, David Friedman, Mike Lanouette and Hien Phan all contributed  
significantly to the development of Splint.  
Splint is the successor to LCLint, a tool originally developed as a joint research project between  
the Massachusetts Institute of Technology and Digital Equipment Corporation’s System  
Research Center. David Evans was the primary designed and developer of LCLint. John Guttag  
and Jim Horning had the original idea for a static checking tool for detecting inconsistencies  
between LCL specifications and their C implementations. They provided valuable advice on its  
functionality and design and were instrumental in its development.  
Splint incorporates the original LCL checker developed by Yang Meng Tan. This was built on  
the DECspec Project (Joe Wild, Gary Feldman, Steve Garland, and Bill McKeeman). The LSL  
checker used by LCLint was developed by Steve Garland. The original C grammar for LCLint  
was provided by Nate Osgood. This work has also benefited greatly from discussions with Mike  
Burrows, Stephen Garland, Colin Godfrey, Steve Harrison, Yanlin Huang, Daniel Jackson, John  
Knight, David Larochelle, Angelika Leeb, Ulana Legedza, Gary McGraw, Anya Pogosyants,  
Avneesh Saxena, Seejo Sebastine, Navneet Singh, Raymie Stata, Yang Meng Tan, and Mark  
Vandevoorde. I especially thank Angelika Leeb for many constructive comments on improving  
an early version of this document, Raymie Stata and Mark Vandevoorde for technical assistance,  
and Dorothy Curtis, Paco Hope, Scott Ruffner, Christina Jackson, David Ladd, and Jessica  
Greer for systems assistance.  
Much of Splint’s development has been driven by feedback from users in academia and industry.  
Many more people than I can mention here have made contributions by suggesting  
improvements, reporting bugs, porting early versions of Splint to other platforms. Particularly  
heroic contributions have been made by Nelson Beebe, Eric Bloodworth, Jutta Degener, Rick  
Farnbach, Chris Flatters, Huver Hu, Alexander Mai, John Gerard Malecki, Thomas G.  
McWilliams, Michael Meskes, Richard O’Keefe, Jens Schweikhardt, Albert L. Ting and Jim  
Zelenka. Martin “Herbert” Dietze and Mike Smith performed valiantly in producing the original  
Win32 and OS2 ports. Tim Van Holder produced the automake and autoconf distribution.  
Splint research at the University of Virginia is currently funded in part by an NSF CAREER  
Award and an NSF CCLI Award for using analysis to teach software engineering. Splint has  
been previously supported by a grant from NASA and David Larochelle was funded by a  
USENIX student research grant.  
2

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号