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?

Hollas Boris (CR/AEY1) a ?crit :
> 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)

This files comes from
which is a source I trust.
You can delete it if you are suspicious, it is useless for Frama-C anyway.
Frama-C Win32 installer contains a full development environment for 
OCaml/Lablgtk2 (the only missing part is a cygwin basic installation 
with gcc-mingw compilers and binutils).

You may want to get contact with Trend Micro to check with them if this 
is indeed a false alarm. Symantec AntiVirus does not raise an alert on 
this file nor on any of the delivered files for example.

Hope this helps,
| Benjamin Monate         | mailto:benjamin.monate at     |
| Head of Software Safety Lab.  CEA-LIST/DRT/DTSI/SOL/LSL     |