前エントリで書いたPhanだけど、公式ページの冒頭に以下のように書かれていた。

Phan is a static analyzer for PHP that prefers to minimize false-positives. Phan attempts to prove incorrectness rather than correctness.

ここで”false-positive”とはどういう意味なのか。

もともとは医学用語として使われていたらしい。以下のページの説明がわかりやすい。

False PositiveとFalse Negative – Qiita
https://qiita.com/steel_code/items/101c9d037d5e8c2b7876

たとえば、ある人がガンかどうかの検査をする場合
– 本当はガンの人はTrue Positive
– 本当はガンではない人はTrue Negative

誤検知されたケース
– テストでガンと判定されたけど、実はガンじゃなかった＝False Positive
– テストでガンと判定されなかったけど、実はガンだった＝False Negative

そういうことなのね。IT業界での用例は以下ページ。

フォールスポジティブ (false positive)とは｜「分かりそう」で「分からない」でも「分かった」気になれるIT用語辞典
https://wa3.i-3-i.info/word15239.html

誤った判定 – 学校では教えてくれないバッドノウハウ英語 #13 – bkブログ
http://0xcc.net/blog/archives/000176.html