Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Virus in Beryllium Windows installer?
  • From: Boris.Hollas at (Hollas Boris (CR/AEY1))
  • Date: Thu, 10 Sep 2009 10:28:48 +0200


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)