@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00001805,
 author = {初田, 直也},
 month = {Feb},
 title = {静的値範囲解析による脆弱性検出手法},
 year = {2006}
}