AUTOMATIC ANNOTATION INSERTION METHOD OF STATIC VERIFICATION TOOL

摘要

PPROBLEM TO BE SOLVED: To save power in detecting an error position when automatic annotation insertion is executed by using a static verification tool and an annotation. PSOLUTION: An automatic annotation insertion program is provided with: a source code input means 31, a static verification execution means 32 for executing static verification of a source code; a pointed-out function call item extraction means 33 for extracting an item concerned with a function call from an item which is warned by static verification as a pointed-out function call item; an annotation rule storage means 44 for storing a table for associating a kind of the pointed-out function call item with an annotation corresponding to the kind; an annotation derivation means 34 for deriving the annotation corresponding to the pointed-out function call item; and an annotation insertion means 35 for inserting the annotation derived by the annotation derivation means 34 into the source code. Consequently, the annotation is automatically inserted according to a warning output by the static verification tool concerned with the function call. PCOPYRIGHT: (C)2009,JPO&INPIT