MAFP:ソースコードに対する静的検査における警告の管理ツール

Abstract

ソースコードの品質を向上させることを目的とし，様々な静的検査ツールが開発されている．静的検査ツールを利用する際は，繰り返し検査を実行して報告される警告を確認し，必要に応じて対処することが重要である．しかし，静的検査ツールが報告する警告にはfalse-positiveが含まれており，それらはソースコードを改変後も繰り返し警告として報告される．この問題を解決するために，本稿では，ソースコードの静的検査において得られる警告に関して，開発者が修正の必要性の有無を記録し，その情報を管理するツールを提案する．本ツールでは，ソースコードの版管理ツールを利用して，記録された警告の対象コードの変更前後の対応箇所を追跡し，既に記録された修正の必要のない警告を非表示にする．これにより，何度も同じ違反を確認する必要がなくなる．

To improve the quality of the source code, a various static checkers have been developed. It is important to check and fix source code repeatedly when we use static checkers. However, the alerts reported by static checker include false-positive and those are reported repeatedly. In this paper, we propose a tool to manage the alerts. Our tool records the check rule, the alert message, the target line of source code, and developer's mark for ignoring such as false-positive. We use the blame function of version control system to trace the target code and suppress the alerts marked as the false-positive. Therefore, developer does not need to check the same alerts repeatedly.