Date: Mon, 21 Apr 2014 13:39:17 -0700 From: "Ronald F. Guilmette" <rfg@tristatelogic.com> To: freebsd-security@freebsd.org Subject: Re: De Raadt + FBSD + OpenSSH + hole? Message-ID: <97711.1398112757@server1.tristatelogic.com> In-Reply-To: <53546795.9050304@quietfountain.com>
next in thread | previous in thread | raw e-mail | index | archive | help
In message <53546795.9050304@quietfountain.com>,
"hcoin" <hcoin@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;
}
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?97711.1398112757>