[clug] Anti-Virus Software

[Ivan Lazar Miljenovic]

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
IvanMiljenovic.wordpress.com