[cap-talk] Confessions of a C programmer

[Sam Mason]

On Wed, Sep 23, 2009 at 02:14:22PM -0400, Sandro Magi wrote:
> Raoul Duke wrote:
> > not everybody believes in PCC so much, apparently:
> > http://www.cs.virginia.edu/~evans/talks/horses.ppt

OpenOffice only sees eight pages of this.  I presume that's not all, or
is it?

> This is just arguing that we already the have tools and techniques
> needed to eliminate the most common vulnerabilities in software, so we
> shouldn't wait for PCC to do it for us.

>From those eight pages it seems to suggest that partial and total
correctness are the same.  Not sure if that gets expanded on, but it
doesn't seem right.

> It's not a controversial point, and I agree with it completely.

I'd agree that using appropriate tools is best!  PCC solves a very
specific problem that most people aren't going to hit and hence I doubt
if it's going to be used much.  Still very cool research though, didn't
realize it's moved on as far as it has.

-- 
  Sam  http://samason.me.uk/