BUFFER OVERFLOW STATIC ANALYSYS METHOD AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To detect critical data while adopting a technique of a static analysis. SOLUTION: This program is executed on a computer having at least a memory and a register, and a program analysis method is implemented for not completely separating an ordinary data area being an area for reading/writing and holding of data and an area for holding the important critical data for controlling execution of the program in the memory. On one of fragilities of the most serious class in the fragility of software and the fragility of a buffer overflow for allowing a writing command to the ordinary data area to cause writing to the critical data, the fragility included in the program is detected by analyzing an intermediate language code appearing in a compiling process of a source code of the program before executing the program. COPYRIGHT: (C)2004,JPO