>>622 > ソースがキーロガーではないという証拠になり得ないのなら
> 世の中の全てのソフトウェアはキーロガーではないという証明が出来ない
「ソースがキーロガーではないという証拠になり得ない」なんて誰も言っていないか、
この文言をお前が(意図的に?)曲解してるかのどちらか。
「キーロガーでないという証拠はソース」という言説自体が証拠にならないと指摘されているだけ。
ソース自体は当然ながら「キーロガーではないという証拠」に「なりうる」。
従って
>>622は前提が誤りであるので、その結論も誤り。