[clug] Anti-Virus Software

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Tue Jun 22 04:57:15 MDT 2010

Sam Couter <sam at couter.id.au> writes:

> Ivan Miljenovic <ivan.miljenovic at gmail.com> wrote:
>> Also, people at NICTA have proven an L4 kernel correct and secure (not
>> used anywhere yet though).
> I think they also assumed the compiler is generating correct code. And
> the compiler is software, which as we know will always contain bugs...

Well, yes, there's that; but they did prove their code would do what it
was meant to do if the compiler behaved itself.

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the linux mailing list