Microsoft Research Prototype: Vault is safe version of the C programming languageresearch.microsoft.com5 points·ilitirit··0 commentsOpen articleSaveView on HN