http://w.atwiki.jp/splint/ Splintをがんばって翻訳するウィキ ja 2009-03-27T19:04:17+09:00 1238148257 https://w.atwiki.jp/splint/pages/19.html 1. Operation Splint is invoked by listing files to be checked. Initialization files, command line flags, and stylized comments may be used to customize checking globally and locally. The best way to learn to use Splint, of course, is to actually use it (if you don’t already have Splint installed on your system, see Appendix A). Before you read much further in this document, I recommend finding a small C program. Then, try running: splint *.c For the most C programs, this will produce a large number of warnings. To turn off reporting for some of the warnings, try: splint -weak *.c The -weak flag is a mode flag that sets many checking parameters to select weaker checking than is done in the default mode. Other Splint flags will be introduced in the following sections; a complete list is given in Appendix B. ファイルのリストをSplintに渡すことにより、チェックが行われます。 初期化ファイル、コマンドラインのフラグおよび、様式化されたコメントは、グローバルやローカルでチェックすることをカスタマイズするのに用いられるかもしれません。 もちろん、Splintを使うことを学ぶ最高の方法は、実際にSp 2009-03-27T19:04:17+09:00 1238148257 https://w.atwiki.jp/splint/pages/18.html &bold(){About This Document} &bold(){このドキュメントについて} This document is a guide to using Splint. Section 1 explains how to run Splint, interpret messages and control checking. Sections 2–13 describe particular checks done by Splint. There are some minor dependencies between sections, but in general they can be read in any order. Section 14 covers issues involving libraries and header file inclusion important for running Splint on large systems. この文書は、Splintを利用するためのガイドです。 セクション1はSplintを動作させ、メッセージを理解し、チェックする方法を説明する。 セクション2-13は、Splintによって行われた特定のチェックについて記載します。 セクション間には、いくつかの重要でない依存性があります。しかし、一般には任意の順に読むことができます。 セクション14は、Splintを動作させることにより、大型システムにおいて、ライブラリおよび、ヘッダファイルに含まれる問題をカバーします。 This document does not describe technical details of the checking. For technical background and analysis of Splint’s effectiveness in practice, see the papers available at http://www.splint.org. このドキュメントは、チェックの技術的詳細については記述しません。 Splintの効果の技術的な背景と分析については、http://www.splint.org/にあるドキュメントを参照してください。 2009-02-22T00:48:09+09:00 1235231289 https://w.atwiki.jp/splint/pages/17.html 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. Splintは、Cプログラムに対し、セキュリティ脆弱さとプログラミングの誤りを静的にチェックするためのツールです。 Splintは、未使用の宣言、タイプの不一致、定義前の使用、到達できないコード、無視された戻り値、リターン無しの実行経路、無限ループと思われる箇所、異常になりそうな箇所など従来からのLintのチェックも含みます。 より強力なチェックは、ソースコードの注釈において与えられる情報によって可能になります。 注釈は、関数、変数、パラメータ、タイプについて、仮定を記録する定型化されたコメントです。 注釈によって有効となるチェックに加えて、 2009-02-19T12:54:09+09:00 1235015649 https://w.atwiki.jp/splint/pages/16.html *Null Dereferences [#z04ec6fe] A common cause of program failures is when a null pointer is dereferenced.~ Splint detects these errors by distinguishing possibly NULL pointers at interface boundaries.~ The null annotation is used to indicate that a pointer value may be NULL.~ A pointer declared with no null annotation, may not be NULL.~ If null checking is turned on (controlled by null), Splint will report an error when a possibly null pointer is passed as a parameter, returned as a result, or assigned to an external reference with no null qualifier.~ If a pointer is declared with the null annotation, the code must check that it is not NULL on all paths leading to a dereference of the pointer (or the pointer being returned or passed as a value with no null annotation).~ Dereferences of possibly null pointers may be protected by conditional statements or assertions (to see how assert is declared see Section 8.1) that check the pointer is not NULL.~ Consider two implementations o 2008-12-16T20:31:50+09:00 1229427110 https://w.atwiki.jp/splint/pages/15.html -[[Appendix B:Flags:Macros]] 2008-12-12T20:34:11+09:00 1229081651 https://w.atwiki.jp/splint/pages/14.html #mailform() 2008-12-12T19:07:50+09:00 1229076470 https://w.atwiki.jp/splint/pages/12.html *Macros (Section 11) These flags control expansion and checking of macro definitions and invocations. 「Macros」フラグは、拡張とマクロ定義や呼び出しのチェックを指定します。 **Macro Expansion マクロ展開 These flags control which macros are checked as functions or constants, and which are expanded inthe pre-processing phase. Macros preceded by /*@notfunction@*/ are never expanded regardless of these flag settings. These flags may be used in source-file control comments. 「Macro Expansion」フラグは、マクロのチェック方法を指定します。チェックする方法は、下記のいずれかより指定します。 ・関数または、定数としてチェックする。 ・プリプロセッシングで展開した後にチェックする。 但し、ソースファイル内に、/*@notfunction@*/が存在する場合、それ以降のマクロは、マクロ展開フラグの指定に関係なく、マクロを展開せずにチェックを実施します。 -&bold(){【P: -】fcn-macros} Macros defined with parameter lists are not expanded and are checked as functions. 引数（パラメータ）が定義されているマクロは、展開せずに関数としてチェックされます。 -&bold(){【P: -】const-macros} Macros defined without parameter lists are not expanded and are checked as constants. 引数（パラメータ）が定義されていないマクロは、展開せずに定数としてチェックされます。 -&bold(){【shortcut】all-macros} Sets 2008-12-12T20:32:28+09:00 1229081548 https://w.atwiki.jp/splint/pages/11.html * コメントプラグイン @wikiのwikiモードでは #comment() と入力することでコメントフォームを簡単に作成することができます。 詳しくはこちらをご覧ください。 ＝＞http://atwiki.jp/guide/17_60_ja.html ----- たとえば、#comment() と入力すると以下のように表示されます。 #comment 2008-12-09T19:25:03+09:00 1228818303 https://w.atwiki.jp/splint/pages/10.html * 関連ブログ @wikiのwikiモードでは #bf(興味のある単語) と入力することで、あるキーワードに関連するブログ一覧を表示することができます 詳しくはこちらをご覧ください。 ＝＞http://atwiki.jp/guide/17_161_ja.html ----- たとえば、#bf(ゲーム)と入力すると以下のように表示されます。 #bf(ゲーム) 2008-12-09T19:25:03+09:00 1228818303 https://w.atwiki.jp/splint/pages/9.html @wikiにはいくつかの便利なプラグインがあります。 ----- #ls ----- これ以外のプラグインについては@wikiガイドをご覧ください =>http://atwiki.jp/guide/ 2008-12-09T19:25:03+09:00 1228818303