--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on September 2009 ---
Hello, I got a message from IT security according to which Trend Micro Office Scan found a virus in the Windows installer: Virus alert. PAK_Generic.001 is detected Infected file: C:\daten\users\hollas\explorer_cache\Content.IE5\S96JOD6Z\frama-c-Beryllium-20090901_installer[1].exe ($_OUTDIR\bin\bonobo-activation-run-query.exe) Detection date: 04.09.2009 11:50:02 Action: Virus successfully detected, cannot perform the Quarantine action (Please see scan result of infected file: frama-c-Beryllium-20090901_installer[1].exe)