The antivirus problem isn't a resource consumption problem. "The halting problem" is a CS synecdoche for the limitations of static analysis and the fundamental generality of what a "virus" is.
He's saying, "we mathematically figured out a long time that trying to look at a computer program and predetermine what it will do before running it is a task that reduces to the halting problem."
That this is a stupid way to look at the antivirus problem is besides the point here.
Sorry, that's a better explanation of what you meant but it's still not a problem.
You don't need to figure out what a program can do ahead of time if you limit what it can do at run time. You don't even need to let the user do anything at run time.
Lol, ok sorry I just had a someone is wrong on the internet moment. Which had nothing to you just the idea about the limits on what an OS could do. http://xkcd.com/386/
PS: I also just noticed that that was commic #386.
Comments
The antivirus problem isn't a resource consumption problem. "The halting problem" is a CS synecdoche for the limitations of static analysis and the fundamental generality of what a "virus" is.
He's saying, "we mathematically figured out a long time that trying to look at a computer program and predetermine what it will do before running it is a task that reduces to the halting problem."
That this is a stupid way to look at the antivirus problem is besides the point here.
Sorry, that's a better explanation of what you meant but it's still not a problem.
You don't need to figure out what a program can do ahead of time if you limit what it can do at run time. You don't even need to let the user do anything at run time.
You are arguing with the wall. I'm just explaining what Schneier meant by "2+2=3".
Lol, ok sorry I just had a someone is wrong on the internet moment. Which had nothing to you just the idea about the limits on what an OS could do. http://xkcd.com/386/
PS: I also just noticed that that was commic #386.