Splint Manual
The current version of the Splint Manual is also available as: HTML Complete - a single HTML file containing the entire Manual Adobe PDF Format (can be read using the Adobe Acrobat reader) License This manual and the other Splint documentation on this website including bugs.html, changes.html, and the FAQ are licensed under the Creative Commons Attribution-Share Alike 3.0 license. This permits fre
Splint Home Page
Secure Programming Lint SPecifications Lint First Aid for Programmers Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
