Section:1 2 3 4 5 6 7 8 9 10 11 12 13 14 A B C D E

Appendix A Availability(利用)

Splintのホームページはhttp://www.splint.orgです。 これには、HTML形式のこのガイド、Splintのデモのサンプル、 そして、関連するウェブサイトへのリンクが含まれます。 Splintはソースコードといくつかのプラットフォームに対しての実行バイナリとして 提供されています。SplintはGNU General Public Licenseの下で 自由に配布、変更されてもかまいません。 最新の開発コードはSourceForgeから入手可能です。

Splintの開発は提案とユーザからのコメントにより 主に動かされています。 私たちは、開発やプログラムのメンテナンスで、あるいは コード規約や教育指導でSplintを使用してのあなたの経験についての ご意見にとても興味があります。 Splintの一般的な情報、提案、質問についてはsplint@cs.virginia.eduへメールを送信してください。

Splintのバグを報告するには、 splint-bug@cs.virginia.edu へメッセージを送信してください。

Splintには関連する2つのメーリングリストがあります。

splint-announce@virginia.edu

新しいリリースやバグフィックスのアナウンスのために予約されています。全てのユーザは自分自身をこのリストに追加する必要があります。

splint-interest@virginia.edu

Splintの利用と開発に関する非公式な議論のため。

メーリングリストを講読するには、majordomo@virginia.eduへ、 subscribe splint-announceあるいは subscribe splint-interestを本文に含めて メッセージを送ってください。

このドキュメントはSplint(英)のサイトを元に作成しました