Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
2015/03/17 IARシステムズ株式会社
静的解析アドオンツールC-STAT
【お問合せフォームwww.iar.com/customer_jp【e-mail】[email protected]【TEL】03-5298-4800
1983年 スウェーデンにて創業1986年 世界で初めて組込みマイコン向け
C⾔語コンパイラを開発⽇本国内でも代理店経由での販売開始
2001年 ⽇本法⼈設⽴2011年 IAR SYSTEMS GROUP ABが
スウェーデン市場上場
■ 沿 ⾰
【代表者】 上村 清史【所在地】 東京都千代⽥区神⽥須⽥町1-21-5 C-5ビル5階【設 ⽴】 2001年1⽉15⽇【従業員】 13名(技術/営業/業務)
■ ⽇本法⼈
■ スウェーデン本社
【代表者】 Stefan Skarin【所在地】 スェーデン/ウプサラ市【従業員】 約160名(2013年・グループ全体)【売上⾼】 約30億円(2013年・グループ全体)
世界初の組込C⾔語コンパイラメーカー
世界40ヵ国以上で販売。のべ10万ライセンスの販売実績
⽇本法⼈には技術/営業/マーケティングチームが常駐。国内ユーザーをフルサポート。
現地法⼈
IARシステムズ会社概要
静的解析ツール「C-STAT」
3
■ MISRA C:2012■ MISRA C++:2008■ MISRA C:2004■ CERT/CWE提言C/C++に基づく
100以上のルール / 250以上チェック項目
以下のコード解析を行うことができます。
C-STAT
統合開発環境に組み込まれることにより、簡単に使えることはもちろん複雑なコード解析機能を併せ持ったアドオン製品となっています。
静的解析をもっと⼿軽に。⽇常的に⾏う事で、コード品質向上とバグ出戻りを少なく。
[C-STAT]の特徴
4
・統合開発環境IAR Embedded Workbenchに統合
・ツール連携をするために、膨⼤なマニュアルを読んだり、ツール独⾃の⾔語拡張設定などをする必要がありません。
・普段のコンパイル作業の延⻑で解析実施できます。
・コード記述者が⾃らチェックし、修正できます。
・⽇々メンテができることで、後戻り⼯数を激減できます。
「C-STAT」で実現する静的解析
5
コンパイラメーカならではの先端の静的解析技術バッファオーバフロー、数値演算および変換問題、ヒープ管理などの、若⼲疑わしいものから、明らかにおかしいものまでコードパターンを検出できる、先端技術に基づいた静的解析。
誤検出防⽌モデルチェックや制約解決に基づき、誤検出を管理、却下するC-STATの⾰新的な技術。
クロスモジュール解析C-STATはモジュール間を超えて情報を伝搬。C-STATはまた、複数ファイルのコンパイルモードにも対応しており、ある種のチェックでは、全てのソースコードを⼀つのモジュールとして解析することで、解析制度の向上も可能。
Embedded Workbench⾔語拡張をサポートC/C++をサポートする静的解析ツールで、ハードウェア制御を直接⾏うためのIAR Embedded Workbench特有の⾔語拡張もサポート。
簡単に使える「C-STAT」
6
プロジェクトを右クリックし[オプション…]を選択
[静的解析]を選択
[C-STAT check]をクリック
チェック項⽬選択画⾯MISRA Cコーディングガイド準拠チェック
CWE/CERTをベースに動作時不良リスクをチェック
Embedded Workbenchのオプションで解析したいチェックルールを選択するだけ
使い⽅は
7
IARシステムズホームページにて、利用方法動画を公開。随時Webinarも開催予定です。https://www.iar.com/jp/iar-embedded-workbench/add-ons-and-integrations/c-stat-static-analysis/
C-STATのご利⽤条件
8
ARM用IAR Embedded Workbench for ARM (通称EWARM)ver. 7.40以降
MSP430用IAR Embedded Workbench for MSP430(通称EW430)ver.6.30以降
※ターゲット製品は順次拡大予定です。※上記バージョンより前のバージョンでは利用出来ません。※C-STATはビルド時に使用するため、ICEの指定はございません。
EWARM、EW430に対応しているICEであれば、合わせて使用可能です。
C-STAT アドオン価格
9
静的解析ツールC-STAT EWARM / EW430PC固定ライセンス 139,500円モバイルライセンス(USBドングル) 159,500円ネットワーク(1敷地内) 174,500円
ARM向け製品・EWARM標準版/Cortex-M限定版のライセンスが必要です。・機能限定版、サイズ限定版では利用出来ません。
MSP430向け製品・EW430標準版ライセンスが必要です。・機能限定版では利用出来ません。
ARM向けEWARMライセンス 本体価格
10
EWARM-CM(Cortex Mシリーズ限定版)
EWARM(標準版)
Embedded Workbench単体製品
PC固定ライセンス 398,000 円(EWARM-CM)
598,000円(EWARM)
モバイルライセンス(USBドングル)
448,000円(EWARM-CM-MB)
648,000円(EWARM-MB)
ネットワークライセンス(1敷地内)
498,000円(EWARM-CM-NW)
698,000円(EWARM-NW)
Embedded Workbench+ C-STAT
PC固定ライセンス 537,500 円(EWARM-CM-CSTAT)
737,500円(EWARM-CSTAT)
モバイルライセンス(USBドングル)
607,500円(EWARM-CM-CSTAT-MB)
807,500円(EWARM-CSTAT-MB)
ネットワークライセンス(1敷地内)
672,500円(EWARM-CM-CSTAT-NW)
872,500円(EWARM-CSTAT-NW)
Embedded Workbench+ C-STAT+ C-RUN
PC固定ライセンス 677,000 円(EWARM-CM-CRUN-CSTAT)
877,000円(EWARM-CRUN-CSTAT)
モバイルライセンス(USBドングル)
767,000円(EWARM-CM-CRUN-CSTAT-MB)
967,000円(EWARM-CRUN-CSTAT-MB)
ネットワークライセンス(1敷地内)
847,000円(EWARM-CM-CRUN-CSTAT-NW)
1,047,000円(EWARM-CRUN-CSTAT-NW)
最も一般的な構成ARMコア全般対応: EWARM-MB 648,000円+CSTAT 159,500円=807,500円Corttex Mシリーズのみ対応:EWARM-MB 648,000円+CSTAT 159,500円=607,500円
MSP430向けEW430ライセンス 本体価格
11
EW430(標準版)
Embedded Workbench単体製品
PC固定ライセンス 398,000円(EW430)
モバイルライセンス(USBドングル)
448,000円(EW430-MB)
ネットワークライセンス(1敷地内)
498,000円(EW430-NW)
Embedded Workbench+ C-STAT
PC固定ライセンス 537,500円(EW430-CSTAT)
モバイルライセンス(USBドングル)
607,500円(EW430-CSTAT-MB)
ネットワークライセンス(1敷地内)
672,500円(EW430-CSTAT-NW)
Embedded Workbench+ C-STAT+ C-RUN
PC固定ライセンス 677,000円(EW430-CRUN-CSTAT)
モバイルライセンス(USBドングル)
767,000円(EW430-CRUN-CSTAT-MB)
ネットワークライセンス(1敷地内)
847,000円(EW430-CRUN-CSTAT-NW)
最も一般的な構成MSP430コア向け: EWARM-MB 448,000円+CSTAT 159,500円=607,500円
Appendix
12
• 使い方解説
「C-STAT」の簡単設定
13
深刻さ/重⼤さ チェック適⽤項⽬数 概要
グループ単位/個別でチェック管理可能
[F1]で各項⽬の説明を表⽰ *次スライド
「C-STAT」の便利なヘルプメニュー
14
概要
深刻さ / 違反時の問題化リスク
詳細
対応規格⼀覧
コードサンプルエラー例 / OK例
「C-STAT」の充実したマニュアル
15
850ページ以上のPDFマニュアル
「C-STAT」の実⾏
16
プロジェクトを右クリック [C-STAT]静的解析
プロジェクトを解析
数分でC-STATメッセージが表⽰
「C-STAT」メッセージの解析
17
メッセージをダブルクリック
該当⾏をハイライト※関数の戻り値が使われていない
[F1]でヘルプ画⾯の説明表⽰
「C-STAT」Standard checkの設定
18
[F1]でヘルプ画⾯の説明表⽰
CWEの対応が表⽰
「C-STAT」Standard checkの実⾏
19
メッセージをダブルクリック
該当⾏をハイライト※L.295のtemp_regは⾮参照
[F1]でヘルプ画⾯の説明表⽰
お問い合わせ
20
【お問合せフォーム】www.iar.com/customer_jp
【e-mail】[email protected]
【TEL】03-5298-4800
IARシステムズ株式会社東京都千代⽥区神⽥須⽥町
1-21-5 C-5ビル 5階