De Raadt + FBSD + OpenSSH + hole?

[Ronald F. Guilmette]

In message <53546795.9050304 at quietfountain.com>, 
"hcoin" <hcoin at quietfountain.com> 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;
}