Scanning for viruses seems like a security relevant topic.
In that matter, you might want to consider upgrading to a version
that is not a decade old, requires patching the latest GA, and likely
will not get more security patches should anything else be discovered
(past or future)
That being said: "Ctrl-F virus" in portal.properties.
