首页>
外国专利>
BUFFER OVERFLOW VULNERABILITY DETECTION PROGRAM AND BUFFER OVERFLOW VULNERABILITY DETECTION METHOD
BUFFER OVERFLOW VULNERABILITY DETECTION PROGRAM AND BUFFER OVERFLOW VULNERABILITY DETECTION METHOD
展开▼
机译:缓冲区溢流脆弱性检测程序及缓冲区溢流脆弱性检测方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
PROBLEM TO BE SOLVED: To detect buffer overflow vulnerability while placing no burden on a programmer, preventing detection failures, and reducing detection errors.;SOLUTION: An area-access formula including an area formula representing an area secured and an index formula designating an access position in the area represented by the area formula is detected from a program to be analyzed. The size formula of the area represented by the area formula is detected. A buffer overflow condition in which, upon the execution of instructions included in the area-access formula, a buffer overflow occurs leading to access outside of the area represented by the area formula is calculated using the index formula and the size formula. An execution path from an instruction disposed upstream of a source program to an instruction including the area-access formula is specified. Based on a substitution instruction disposed on the execution path, the buffer overflow condition is traced back toward the upstream side of the execution path to find the expression of the buffer overflow condition on the upstream side.;COPYRIGHT: (C)2006,JPO&NCIPI
展开▼