diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-13 01:19:51 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:39:41 +0700 |
| commit | fc143786410f3e410705f1b2917926ecd061dcae (patch) | |
| tree | ddb7b645cbb592ab364ce802bfe96285efd53304 /development | |
| parent | 46e9e2eb0fd0ef2a96b07a01bf45d0e73fab68c0 (diff) | |
development/splint: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development')
| -rw-r--r-- | development/splint/README | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/development/splint/README b/development/splint/README index 7e2da67c9e499..09e24aea7b9d9 100644 --- a/development/splint/README +++ b/development/splint/README @@ -1,21 +1,23 @@ -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. +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 +In addition to the checks specifically enabled by annotations, many of +the traditional lint checks are improved by exploiting this additional information. -As more effort is put into annotating programs, better checking results. -Splint is designed to be flexible and allow programmers to select -appropriate points on the effort-benefit curve for particular projects. -As different checks are turned on and more information is given in code -annotations the number of bugs that can be detected increases dramatically. +As more effort is put into annotating programs, better checking +results. Splint is designed to be flexible and allow programmers to +select appropriate points on the effort-benefit curve for particular +projects. As different checks are turned on and more information +is given in code annotations the number of bugs that can be detected +increases dramatically. If you want splint to be used as the system default lint, then do this after installing splint: |