Klocwork 2017.0アップデート

1© 2017 Rogue Wave Software, Inc. All Rights Reserved. 1
Klocwork 2017.0

Klocwork 2017.0のご紹介
Masaru Horioka
Senior Sales Engineer – APAC
Rogue Wave Software

はじめに
• Klocwork開発チームはアジャイル開発体制をとっており、１年に１回のメ
ジャーバージョンアップ、および３ヶ月ごとのマイナーバージョンアップ
ににより、新機能の追加、機能改善、バグフィクスを行っています。
• 新バージョンを利用するためには有効なサブスクリプション契約または保
守契約が必要です。
– メジャーバージョンアップの際にはライセンスファイルが変更され
ます。
– 永久ライセンスをお持ちのお客様で、有効な保守契約をお持ちで無
い場合、新バージョン用のライセンスは発行されませんのでご注意
ください。

Klocwork 12.0の新機能

Klocwork 2017.0 (12.0) 新機能
• SmartRank（スマートランク）機能
– Klocworkポータル上で優先的に確認すべき指摘をピックアップし、静的解析結果の
レビュー効率を向上させます。
• 解析エンジンの改善
– MISRA C 2012 および MISRA C 2012 amendment に対応するチェッカーおよび分
類基準の追加
– C/C++解析エンジンの解析時間を平均10% 削減
– 既存チェッカーの精度向上
– C++11対応の改善とC# 6.0 サポート
• サポートプラットフォームの拡充
– Klocwork Jenkins plugin の Mac OS X対応
– C/C++コンパイラおよびサポートOSの拡充
• ユーザビリティの改善
– Visual Studio 2010以降対応のプラグインのUIをよりわかりやすく
• ライセンスに関する注意
– Klocwork 2017 licenseは FlexNet Publisher 2016 R1 (11.14.0.2) 以降のみ動作（古
いライセンスサーバーでは動作しない）
– Linux上でethX以外のhostidの認識が可能

重要な変更

ライセンスサーバーの動作要件の変更
• Klocwork 2017 向けのライセンスが必要になります。ライセ
ンスの入手は Klocwork担当営業、または販売代理店にご連
絡ください。
• Klocwork 2017向けライセンスはKlocwork 11.x 以前のライセ
ンスサーバーでは動作しません。
– Klocwork 2017のライセンスサーバーまたは、FlexNet
Publisher 2016 R1 (11.14.0.2) 以降のライセンスサー
バーをご利用ください。
• Linux上で追加パッケージのインストールが必要になります。
– 詳細は "Licensing requirements" をご確認ください。
https://support.roguewave.com/documentation/klocwork/
en/current/supportedplatforms/

SmartRank（スマートランク）

SmartRankが開発された背景
• 課題
– 静的解析を十分に活用できない
原因
• 指摘件数に対して、静的
解析の結果を確認する十
分な時間が取れない
– よくある現実
• 複雑な指摘が本当に問題
であるかどうかは、静的
解析の結果だけでは判断
しづらい。デバッガー等
で追いながらの検証が必
要

単純な指摘– 問題の理解も修正も容易

複雜な指摘 – 問題の理解と修正に時間がか
かる

SmartRank（スマートランク）概要
• 優先的にレビューすべき指摘（理解が容
易でバグの可能性が高い）指摘をピック
アップ
• 簡単な動作原理
– 解析エンジンが発見された指摘に対
して指摘の複雑度や確からしさを加
味したスコアを付与
– スコアのしきい値により指摘をフィ
ルタリング
– スコア順に指摘を並び替える
• ※ 既存の解析済みプロジェクトに対して、
本機能を利用するためには、Klocwork
2017による再解析が必要

使い方：プロジェクト毎にスマートランクの
Sensitivity(スコアのしきい値)設定
Sensitivity : low = スコアが高いもののみ抽出

使い方：SmartRankチェックボックをオンにす
る
フィルタ（足切り）&
並び替え

使い方：リストの上から順に指摘を確認
簡単
&信頼度高
複雜

何がうれしいのか？
• 静的解析のROI = 修正件数
• 簡単な指摘から順にレビュー可能になるので、
少ない時間でより多くの指摘のレビューおよび
修正が可能

ユースケース
• UC 1 – 小規模プロジェクトの場合
– SmartRankをオンにして、解析結果をレビュー＆修正
– SmartRank でピックアップされなかったものはdefer扱い
• UC 2 – 大規模ミッションクリティカルプロジェクトの場合
– 新規指摘に対しては全ての指摘をレビュー
– レガシー（過去出荷済みのコードに含まれる）指摘に対しては、
SmartRankを活用し、指摘の優先付けを行う。
• 例えば検索条件で、特定の分類基準カテゴリや、チェッカーで
フィルタリングした後、SmartRankを適用し、より重大な（起
きうる確率が高い）指摘に対するレビュー・修正を行う。

動画: Introduction to SmartRank（英
語）
• https://support.roguewave.com/resources/videos/introduction-to-
smartrank/

解析エンジンの改善

新 MISRA 2012 チェッカー
• Rule 13.3 (Advisory) への対応
• MISRA.INCR_DECR.SIDEEFF.2012

• Rule 17.8 (Advisory):への対応
• MISRA.FUNC.MODIFIEDPAR.2012

• Rule 18.4 (Advisory): への対応
• MISRA.PTR.ARITH.2012

• Rule 21.12 (Advisory):への対応
• MISRA.STDLIB.FENV.2012
• MISRA.STDLIB.FENV.MACRO.2012

• Rule 22.6 (Mandatory):への対応
• MISRA.RESOURCES.FILE.USE_AFTER_CLOSE.2012

その他の改善
• MISRA C 2012 amendment 分類基準
• C/C++ 解析時間 10% 削減
• データフロー解析（数値レンジ解析）の改善による解析精度
向上
• 改善された C++11 and C# 6.0 対応
• 改善されたリスト詳細は以下(チェッカーに関する項目を参
照)
– https://support.roguewave.com/documentation/klocwork/
jp/current/whatsnewmain/
– https://support.roguewave.com/documentation/klocwork/
jp/current/fixedissues/
•

新しいプラットフォーム
のサポート

新しくサポートされたプラットフォーム
• Klocwork CI Plugin のMac OS対応
• コンパイラ
– HI-CROSS+ Motorola HC16
– MPLAB XC16 C
– Nintendo N32 and N64
• OS/IDE
– Windows 10 Anniversary
– Windows Server 2016
– Ubuntu 16.10
– Fedora 25
– AIX 7.1 TL 4
– Eclipse 4.6.2

ユーザビリティの改善

Visual Studio Pluginの改善
• Visual Studio 2010以降向けの新しいプラグインの改善
– サーバー指摘の同期パフォーマンス向上
– ラベルの変更
• Desktopで発見された指摘、Server解析でのみ
発見された指摘件数をわかりやすく表示

その他

Klocwork ドキュメンテーション
• 最新マニュアル
– https://support.roguewave.com/documentation/klocwork/jp/current/
• 新機能
– https://support.roguewave.com/documentation/klocwork/jp/current/whats
newmain/
• 修正された問題
– https://support.roguewave.com/documentation/klocwork/jp/current/fixedis
sues/
• 製品情報、トライアルのお問い合わせ
– http://roguewave.jp/products-services/klocwork

Klocwork 2017.0アップデート

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (12)

Similar to Klocwork 2017.0アップデート

Similar to Klocwork 2017.0アップデート (20)

Recently uploaded

Recently uploaded (8)

Klocwork 2017.0アップデート