--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Virus in Beryllium Windows installer?



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)