Verifying the System State for the Absence of Malware on Commodity Platforms