Art

J-GLOBAL ID：201002207109069317   Reference number：10A1025945

広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール

Author (3)： ARAHORI YOSHITAKA (東京工大) ,  GONDO KATSUHIKO (東京工大) ,  MAEJIMA HIDEO (東京工大)
Material： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
Volume： J93-D  Issue： 10  Page： 1851-1865  Publication year： Oct. 01, 2010 
JST Material Number： S0757C  ISSN： 1880-4535  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *C language ,  *computer program ,  programming environment ,  computer security ,  *boundary ,  *program test ,  debugging ,  *diagnostic program ,  program execution

JST classification (2)： Computer system development  (JD02010R) ,  Other system programmings  (JD03070M)

Reference (43)：

• CERT/CC, http://www.cert.org/advisories/
• D. Evans, J. Guattag, J. Horning, and Y. T. Lclint,“A tool for using specifications to check code,” Proc.2nd ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (SIGSOFT 1994/FSE2), pp. 87-96, ACM, 1994.
• D. Wagner, J. Foster, E. Brewer, and A. Aiken,“A first step towards automated detection of buffer over-run vulnerabilities,” Proc.7th Annual Network and Distributed System Security Symp.(NDSS 2000). ISOC, 2000.
• D. Larochelle and D. Evans,“Statically detecting likely buffer overflow vulnerabilities,” Proc.10th Conf. on USENIX Security Symp.(USENIX Security ’01), pp. 177-190, USENIX Association, 2001.
• DA’s DWARF Page: http://reality.sgiweb.org/davea/dwarf.html

Terms in the title (3)： 境界 ,  検査 ,  ツール