@techreport{weko_62172_1, author = "山岡,裕司", title = "Javaでのインジェクション脆弱性防止規約の遵守を検証する定数伝播解析法の提案", year = "2009", institution = "株式会社富士通研究所", number = "13", month = "may" }