ソースコードセキュリティ検査ツール iCodeChecker
ツールの概要
iCodeChecker は、VMイメージ、パッケージ形式、ソースコード形式の3つの配布形式があります。Windows 環境で iCodeChecker を使用したい場合は、 VMイメージをダウンロードしてください。Ubuntu 11.10 で使用したい場合は、パッケージ形式またはソースコード形式をご利用ください。IPAのウェブサイトまたはミラーサイトからご自分の環境に適した iCodeChecker をダウンロードし、ソースコードセキュリティ検査を行うことができます。
iCodeChecker は、簡易 Web インタフェースを備えており、ソフトウェア開発の初心者の方でも容易に利用することができます。また、コマンド形式で利用することも可能です。
利用の流れ
検出可能な脆弱性一覧
- CWE-120 入力サイズ未チェックでのバッファコピー(バッファオーバーフローの問題)
- CWE-129 配列インデックスの検証の不備
- CWE-134 書式文字列の問題
- CWE-190 整数オーバーフローの問題
- CWE-191 整数アンダーフローの問題
- CWE-195 符号付き変数の変換に関する問題
- CWE-457 未初期化変数の利用
- CWE-467 ポインタ変数に対する sizeof 演算子の利用
検査可能なソースコード
- C 言語(ANSI C)で記述されたソースコード
- x86 アーキテクチャ向けに記述されたソースコード
- 100ファイル以下で構成されるプログラムのソースコード
- 構造体を使用していないソースコード
- goto文を使用していないソースコード
更新履歴