>コードと設定を入力としてプログラムの問題を静的に検出するツール

>自然言語で書かれた文書と設定を入力として文書の問題を検出するツール ref