@techreport{weko_25567_1, author = "行友,英記 and 金野,晃 and 中山,雄大 and 竹下,敦", title = "プログラム注釈に基づくバッファオーバーフローの検知方法", year = "2005", institution = "(株)NTTドコモ マルチメディア研究所, (株)NTTドコモ マルチメディア研究所, (株)NTTドコモ マルチメディア研究所, (株)NTTドコモ マルチメディア研究所", number = "16(2004-OS-098)", month = "feb" }