2009-08-25 Static Analysis Tool Exposition (SATE) http://samate.nist.gov/SATE.html NISTが作っている,ソースコードにセキュリティ上の欠陥があるかを探すツールらしい.