[E-Lang] CapC: making C programs safe and turning filenames into capabilities

[Wes Felter]

on 12/31/01 9:03 AM, Mark Seaborn at mrs35@cam.ac.uk wrote:

> Hello all,
> 
> Back in September I e-mailed this list about a scheme I had been
> working on for translating C programs into a memory-safe language.
> Since then I've been implementing this, writing a C compiler which I'm
> calling `CapC' (as it implements C using capabilities).  It's now at a
> point where it will run a demonstration program.

It would be interesting to compare CapC to MSR's Vault.

http://research.microsoft.com/projects/Vault/

The goals appear to be different, but similar enough that the comparison
might be useful.

Wes Felter - wesley@felter.org - http://felter.org/wesley/