| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a program analyzer capable of improving the efficiency of analysis work for a branch point targeted for program analysis. Ž<P>SOLUTION: A call file specifying means 82 specifies, for each processing group identified by processing group identification information, a call file as a file with a processing content of the processing group identification information called from the processing group written therein. A branch destination call file specifying means 84 specifies, for each branch destination as processing at a destination branched from a branch point, a call file for the branch destination using the call file specified by the call file specifying means 82. When a call file called at one branch destination specified by the branch destination call file specifying means 84 is in an exclusive relation with a call file called at the other branch destination, an exclusive branch point extracting means 85 extracts an exclusive branch point as a branch point including one branch destination and the other branch destination. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
