2016-05-09 MicrosoftでだしているＣでメモリを安全に使ってるか検証するツール？ Weblog 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
