発行年2010 - 2014 キーワードPseudo-static analysis 部局