--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on September 2009 ---
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 |