第50回プログラミングシンポジウム「Webアプリケーション・セキュリティの自動検証フレームワーク：_Amberate_の開発」