Webアプリ静的解析の新潮流、「クラウド」と「バイナリ診断技術」――VERACODEに聞く(6/10)