カテゴリー: 開発者用ツール, デバッグ用ソフトウェア
- ホームページ
- Linux
- 開発者用ツール
- デバッグ用ソフトウェア
- Splint
- ダウンロード中...
最近閲覧ソフト
Exploring ASP.NET 2.0 Using Visual C# 2005 21 Sep 15
Pagos Spreadsheet Component for Java 22 Sep 15
Volume Serial Number Editor Command Line 9 Dec 14
Export Query to SQL for SQL server Professional 15 Apr 15
SQLAutoScripting 26 May 15
MySimpleUtils SQL Server Instance Finder Portable 11 Apr 15
SQL Locator Database Search Engine 27 May 15
zbox_wiki 20 Feb 15
Manyprog Find Duplicate Files 4 May 20
Batch Access Database Compactor 1 Jan 15
Splint 3.1.1
スプリントは、静的にセキュリティの脆弱性とプログラミングのミスのためにCプログラムをチェックするためのツールです。スプリントは、ケースを介して、戻り値、ノーリターンで実行パス、おそらく無限ループ、秋を無視し、未使用の宣言、タイプの不整合、定義の前に使用し、到達不能コードを含む伝統的なリントチェックの多くを行います。より強力なチェックは、ソースコードの注釈に与えられた追加の情報によって可能となります。注釈は、様式化されたコメントは、関数、変数、パラメータ、およびタイプについてその文書の仮定です。特に注釈で有効...
最近閲覧ソフト
Exploring ASP.NET 2.0 Using Visual C# 2005 21 Sep 15
Pagos Spreadsheet Component for Java 22 Sep 15
Volume Serial Number Editor Command Line 9 Dec 14
Export Query to SQL for SQL server Professional 15 Apr 15
SQLAutoScripting 26 May 15
MySimpleUtils SQL Server Instance Finder Portable 11 Apr 15
SQL Locator Database Search Engine 27 May 15
zbox_wiki 20 Feb 15
Manyprog Find Duplicate Files 4 May 20
Batch Access Database Compactor 1 Jan 15