PC-lint Plusは、CおよびC++向けの静的解析ツールであり、ソースコード内で直接、欠陥、脆弱性、およびコーディング標準への違反を検出します。開発者のワークステーションやCIパイプライン上で動作し、インターネット接続は不要で、コードが外部に流出することもありません。
組込みソフトウェアおよび安全クリティカルなソフトウェア開発向けに設計されたPC-lint Plusは、ISO 26262、IEC 61508、IEC 62304、およびEN 50716の認証を取得しています。 MISRA C:2025、MISRA C:2023、MISRA C++:2023、AUTOSAR C++、CERT C、およびCWEに対応しており、自動車、医療、産業、航空宇宙、鉄道などの各分野における複数のコンプライアンス要件に対応するための単一のツールをチームに提供します。
メリット
バグがハードウェアに到達する前に発見する
詳細な静的解析により、論理エラーや不審な構文、根本原因を特定し、正確な位置情報をレポートするため、開発者はターゲット環境でデバッグする時間を削減できます。
複数の標準に準拠
1つのツールで、MISRA C:2025、MISRA C:2023、MISRA C++:2023、AUTOSAR C++、CERT C、およびCWEを網羅するため、ツールの認定にかかる負担や証拠収集の労力を削減できます。
あらゆる規模で高速な解析
並列実行により、大規模なコードベースでも実行時間を短縮できるため、ワークステーション上でも自動化されたパイプライン内でも、静的解析が開発サイクルを遅らせることなく、スムーズに組み込むことができます。
すべての抑制を監査
診断アカウンティング機能により、発行および抑制されたすべてのメッセージが、タグ付けされた根拠情報とともに追跡されます。これにより、セーフティケースの文書化に必要な、完全かつ監査可能なレコードが得られます。
長期にわたるコード品質の可視化
PC-lint Plus Viewは、カスタムスクリプトを作成することなく、診断結果の傾向をモニタリングし、リグレッションを追跡し、レビューチームと発見事項を共有するためのグラフィカルインターフェイスを提供します。
エキスパートによるサポートとドキュメント
ベクターの専任テクニカルサポートチームが、設定、コンパイルツールとの統合、および標準に関するご質問などについて、いつでもヘルプいたします。
PC-lint Plus の使用事例
PC-lint Plusは、形式的な適合要件が求められる安全上重要なシステムから、コードの品質や保守性に重点を置く商用ソフトウェア開発チームに至るまで、幅広いCおよびC++開発の場面で使用されています。代表的な適用分野としては、以下のものが挙げられます：
自動車
ISO 26262に準拠して開発された車載ECUソフトウェアで、MISRA C/C++の準拠要件を満たし、ASIL Dのツール認定を取得しています。
航空宇宙・防衛
CERT C準拠およびCWE脆弱性スクリーニングが求められる航空宇宙・防衛分野の組込みソフトウェア
医療
IEC 62304の対象となる医療機器のファームウェアにおいて、抑制のトレーサビリティが設計履歴ファイルおよび監査を支援するものです。
産業用
IEC 61508に準拠した産業用制御システム（SIL 3およびSIL 4のアプリケーションを含む）
鉄道
EN 50716に基づいて開発された鉄道用組込みソフトウェアであり、静的解析によってソフトウェアの完全性レベルの要件およびコーディング標準への準拠が確保されています。
CおよびC++開発全般
PC-lint Plus を使用して、一貫したコーディング標準を徹底し、バグ発生率を削減し、規制要件とは独立して、長期にわたりコードベースの保守性を維持している一般的な C および C++ 開発チーム
主な特長
不具合や問題を早期に発見する
PC-lint Plusの解析は、開発者のワークステーション上で数秒で完了します。PC-lint Plusは、コードを実行することなくCおよびC++のファイルを解析するため、統合段階やターゲットハードウェアへの展開、あるいは安全審査に至るはるか前の編集段階で欠陥を検出できます。問題が早期に発見されればされるほど、修正にかかるコストは抑えられます。
- CおよびC++のソースコード全体において、論理エラー、ヌルポインタの参照、範囲外アクセス、初期化されていない変数、その他数百種類に及ぶ不具合を検出します
- 各診断結果には、正確なソース位置、わかりやすい説明、および問題の発生経緯を示す値のトレースが含まれているため、開発者は推測に頼ることなく結果に基づいて対応できます
- 並列実行により、ワークステーション上で実行する場合でもCIパイプライン内で実行する場合でも、大規模なコードベースにおいて実用的な解析時間を維持します
- すべての解析はローカルで実行されるため、インターネット接続の要件はなく、コードが外部に流出することもありません
カスタムチェック：メトリクスとクエリ
PC-lint Plus には、100 以上の組み込みコードメトリクスと、チームが独自のチェックを定義できるクエリエンジンが搭載されています。外部スクリプトや後処理ツールを一切必要とせずに、プロジェクト固有のコーディングルールを適用し、事前定義済み標準を超える品質の閾値を追跡することができます。
- サイクロマティック複雑度、結合度、保守性指数、設計品質などを網羅する100以上の組み込みメトリクス。それぞれについて、合格／不合格の閾値を設定可能です
- カスタムクエリを使用することで、チームは独自のコーディング標準、アーキテクチャ規則、または安全要件に合わせて、診断メッセージやチェックを定義できます
- メトリクスとカスタムクエリの結果はどちらも「診断アカウンティング」に取り込まれるため、組み込みルールとチームが定義したチェックの両方から得られた結果が追跡され、監査可能となります
コンプライアンスおよび標準への対応
- MISRA C:2023 および MISRA C:2025：ガイドラインのルールに直接対応したダイアグカバレッジ ― ルールの完全なマッピングはオンラインマニュアルに記載されています
- MISRA C++:2023：2025 SP1リリースにおいて、ガイドラインの90%以上をカバーしています
- AUTOSAR C++：完全な強制適用サポート
- CERT C および CWE：一般的な脆弱性パターンの認定済み検出
- ISO 26262 (ASIL D)、IEC 61508 (SIL 4)、IEC 62304：ツール認定証明書をご用意しております
診断用会計処理および抑制のトレーサビリティ
- 出力された診断情報および抑制された診断情報はすべて、完全なコンテキストとともにレコードされます
- タグ付けされた抑制処理により、逸脱箇所と文書化されたコーディングガイドラインの根拠が関連付けられます
- 使用されていない抑制ルールは自動的にフラグが立てられ、設定を整理された状態に保ちます
- 出力結果は、コンプライアンス文書や監査レコードに直接反映されます
PC-lint Plus ビュー
- 深刻度、ルール、ファイル、またはメッセージの種類ごとに診断結果を閲覧・フィルタリングするためのグラフィカルインターフェイス
- バージョンごとの傾向追跡により、経時的な退行や改善状況を確認できます
- 結果には、ルールID、コーディング標準の参照情報、およびソースコードの完全なコンテキストが含まれます
- SARIFフォーマットでエクスポートし、対応するIDEやCIシステムと連携可能です
- オンラインデモとして、またはDockerを介したセルフホスト形式で利用可能です
言語およびコンパイルのサポート
- C11、C17、C23、C++03、C++11、C++14、C++17、C++20、およびC++23に対応しています
- 対応コンパイルツールには、GCC、Clang、MSVC、IAR、Green Hills、TI、およびMicrochipが含まれます
- Windows、Linux、macOS上でネイティブに動作します
IDEとパイプラインの統合
- Visual Studio、Eclipse、CLion、Sublime Text、および Code Composer Studio 向けの IDE 統合機能
- 並列実行により、大規模なコードベース全体にわたる解析をスケールアップします
- SARIFエクスポートにより、CIプラットフォームや対応IDEとの連携が可能になります
- Team Enterpriseライセンスでは、1つのライセンスで開発者のワークステーション、ビルドサーバー、マルチユーザーシステム、および仮想化環境やクラウド環境をカバーします
コールグラフのエクスポート
- Graphviz や互換性のあるツールで読み取り可能な、DOT フォーマットのプロジェクトレベルの関数呼び出しグラフを生成します
- アーキテクチャレビュー、テストカバレッジの計画、および影響解析に使用されます
安全・セキュリティに関する認証
PC-lint Plusは、以下の標準について、独立したツール認定証明書を取得しています：
| 認証 | Scope |
| ISO 26262:2018 (ASIL D) | 自動車用機能安全、最高安全度水準 |
| IEC 61508:2010 (SIL 4) | E/E/PE安全関連システムの機能安全 |
| IEC 62304 | 医療機器ソフトウェアのライフサイクルプロセス |
| EN 50716 | 安全関連システム向けの鉄道ソフトウェア開発（ソフトウェア完全性レベル SIL 0 ～ SIL 4 をサポート） |
| CWE 対応 | Common Weakness Enumeration（CWE）の脆弱性検出について認証済み |
PC-lint Plusをお試しください
14日間の試用ライセンス
テクニカルサポートも利用できる、全機能を備えた試用版です。
PC-lint Plus のダウンロード
最新のリリースおよびドキュメントは、ベクターDownload Centerでご覧いただけます。
オンラインデモ
ブラウザー上で、リアルタイムのコード例を使ってPC-lint Plusを実行してみてください。
オンラインマニュアル
セットアップの手順、使用例、および詳細な設定について。
サポート
よくあるご質問
関連ページ
VectorCAST
Squore
