In message <[email protected]>,
"hcoin" <[email protected]> wrote:
>... It is for the community to decide whether it is 'worth it'
>on a case by case basis given there is no way to prove a program
>'correct' from a security perspective.
I guess that I was sick that day in software school.
Did I just hear you tell me that I can't prove the following program
is "secure"?
int
main (void)
{
return 0;
}
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-security
To unsubscribe, send any mail to "[email protected]"
