Art

J-GLOBAL ID：201202258020793273   Reference number：12A0573957

Highly Compatible and Precise Bounds Checking with a Race-avoiding Machinery

競合回避機構を備えた高互換かつ高精度な境界検査手法

Author (3)： ARAHORI YOSHITAKA (電通大 大学院情報システム学研究科) ,  GONDO KATSUHIKO (東京工大 学術国際情報セ) ,  MAEJIMA HIDEO (東京工大 大学院総合理工学研究科)
Material： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
Volume： 53  Issue： 3  Page： 1150-1165  Publication year： Mar. 15, 2012 
JST Material Number： Z0778B  ISSN： 1882-7837  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *program test ,  property ,  *Computer Security ,  treatment ,  buffer system ,  program execution ,  tracking ,  evaluation test ,  packaging design ,  C language ,  interchangeability
Semi thesaurus term： 間接シグナル処理 ,  *境界違反 ,  *境界検査 ,  検査バッファリング ,  vulnerability

JST classification (2)： Computer system development  (JD02010R) ,  Data protection  (JD01020V)

Reference (42)：

• [1] CERT/CC, available from (http://www.cert.org/advisories/) .
• [2] Evans, D., Guattag, J., Horning, J. and Tan, Y.: LCLint: A Tool for Using Specifications to Check Code, Proc. 2nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 1994/FSE-2), pp.87-96, ACM (1994).
• [3] Wagner, D., Foster, J., Brewer, E. and Aiken, A.: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities, Proc. 7th Annual Network and Distributed System Security Symposium (NDSS 2000), pp.3-17, ISOC (2000).
• [4] Larochelle, D. and Evans, D.: Statically Detecting Likely Buffer Overflow Vulnerabilities, Proc. 10th Conference on USENIX Security Symposium (USENIX Security '01), pp.177-190, USENIX Association (2001).
• [5] Dor, N., Rodeh, M. and Sagiv, M.: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C, Proc. 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2003), pp.155-167, ACM (2003).

Terms in the title (5)： 競合 ,  回避 ,  境界 ,  検査 ,  手法