2010-05-27 third Static Analysis Tool Exposition (SATE). http://samate.nist.gov/SATE2010.html NISTのワークショップ