From my little knowledge, bad reputation file not exactly means always a infected file
Infected file will be usually automatically deleted
Hope it helps