WordPress Antivirus

I have just installed wordpress antivirus by sergej.mueller and ran manual scan which came up with is result which I do not understand:

/themes/proreview/default-single.php
/themes/proreview/timthumb.php

There is no virusView line 619$cache_file = get_cache_file ($mime_type);

There is no virusView line 667show_cache_file ($mime_type);

There is no virusView line 933$mime_type = finfo_file ($finfo, $file);