[e-lang] Invited talk: Tradeoffs in Retrofitting Security: An Experience Report
marcs at skyhunter.com
Tue Aug 14 17:35:05 EDT 2007
> Object granularity, static verification, library import taming, new
> library wrappers
> Joe-E, Emily, Backwater?
Backwater fits an even lighter-weight category than this. Backwater
needs no static verification to eliminate usage of non-obj features.
It only requires taming of the library. It is only static verification
in the sense of compiling only with the right libraries; there is
nothing like the joeE or Emily verifier that must analyze the program.
More information about the e-lang