首页>
外国专利>
Static error analysis method for program, involves starting new iteration with call determined areas as source text areas, and aborting new iteration when no call areas in previous iterations are determined
Static error analysis method for program, involves starting new iteration with call determined areas as source text areas, and aborting new iteration when no call areas in previous iterations are determined
The method involves identifying source text areas (2.3-2.7) with program instructions in a program source text (6), where the source text areas are applicable as an error cause. An implementation path for each source text part in a function surrounding the source text areas is determined. Call areas of the function are determined. A new iteration with the determined call areas as source text areas is started. The new iteration is aborted when no call areas in previous iterations are determined.
展开▼