MicrosoftでだしているＣでメモリを安全に使ってるか検証するツール？

githubで公開しているみたい

Microsoft/SLAyer
https://github.com/Microsoft/SLAyer

論文がある

SLAyer: Memory Safety for Systems-level Code
http://research.microsoft.com/pubs/144848/2011%20CAV%20SLAyer_%20Memory%20Safety%20for%20Systems-level%20Code.pdf