Re: [isabelle] A few questions about Isabelle2013
On 1/15/2013 6:09 AM, Makarius wrote:
On Sat, 12 Jan 2013, Gottfried Barrow wrote:
NORTON QUARANTINES POLY.EXE
Norton quarantines "contrib\polyml-5.5.0\x86-cygwin\poly.exe", but it
started doing that with Isabelle 2012. With Isabelle 2013, it gives
me a error message that it didn't give me before about not being able
to find the file. Users in the future should be aware of that. I just
unquarantine poly.exe, and know that it's going to happen when it
gets run for the first time on a computer on which I run Norton.
So is there some way to buy "protection" for poly.exe from the Norton
I sent an email to Norton telling them they're flagging a legitimate
product that's being produced by Cambridge and TUM. What you need is to
get in their database of legitimate programs. They use a huge database
of known good and bad programs to speed up their scans.
Norton has two types of scans, a scan to check for whether it's known to
be infected, and a scan to check for whether it looks suspicious, and if
it does look suspicious, they make decisions based on it's reputation
among the user community.
Poly.exe is getting flagged based on reputation. It has none, and it's
not a native Windows application, so it kind of makes sense.
If I didn't have lots of experience knowing the difference between
Norton's typical behavior with normal Windows installs that I download
from legitimate looking web sites, and programs that come from "other"
places, I might get rid of Norton, because I've used Avast and AVG and
know they're more lenient.
However, I keep Norton because no one has so far broken into my bank
account. The "reputation" scan is short term pain, but long term gain.
They're doing more than just looking at known virus signatures.
I think it's their attempt to deal with things like zero-day attacks:
Here are the results of 3 sites that I had check poly.exe. (I don't know
if the results will show up for you using these links.)
The good news is that poly.exe is flagged only by Symantec out of about
47 anti-virus programs, and only based on their reputation scan. The
other good news is that I use Norton, so you at least know it could
happen to a user.
This archive was generated by a fusion of
Pipermail (Mailman edition) and