The most fundamental problem is that perfect anti-virus is impossible. According to Rice's theorem, you cannot in the general case prove any run-time property

The most fundamental problem is that perfect anti-virus is impossible. According to Rice's theorem, you cannot in the general case prove any run-time property of a program solely by looking at its code, which means that can't 100% reliably detect viruses simply by looking at the code.