Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1165081
  • 博文数量: 64
  • 博客积分: 10197
  • 博客等级: 上将
  • 技术积分: 2243
  • 用 户 组: 普通用户
  • 注册时间: 2006-09-05 14:50
文章分类

全部博文(64)

文章存档

2011年(8)

2010年(3)

2009年(26)

2008年(27)

分类: C/C++

2009-04-07 21:29:36

Secure Programming Lint
SPecifications Lint
First Aid for Programmers
Splint is a tool for statically checking C programs for security vulnerabilities and programming mistakes.  Splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases.  More powerful checks are made possible by additional information given in source code annotations.  Annotations are stylized comments that document assumptions about functions, variables, parameters and types.  In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information.
 

Source Code

Splint should compile (effortlessly) on any UNIX system with a Standard C compiler. A bit of effort may be required to port Splint to a non-UNIX platform.

Source Code Distribution: 

Splint User’s Manual
 
阅读(3412) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~