3 ms·Microsoft Research Prototype: Vault is safe version of the C programming language5 points by ilitirit 18y ago