--- layout: fc_discuss_archives title: Message 23 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,
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 
ftp://ftp.gnome.org/pub/GNOME/binaries/win32/libbonobo/2.24/libbonobo-dev_2.24.0-1_win32.zip
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 cea.fr     |
| Head of Software Safety Lab.  CEA-LIST/DRT/DTSI/SOL/LSL     |