Microsoft Research Prototype: Vault is safe version of the C programming languageresearch.microsoft.com5 pointsilitirit17 years ago