| 摘要 |
A system and method for facilitating verification of software code. A first program point is selected, from the software code, indicating static analysis warning to be reviewed. Further, review-assisting information including at least one of a set of modification points and a controlling condition are determined for the user to judge whether the warning generated is safe or unsafe. From the set of modification points, non-useful modification points may be filtered out in order to determine only relevant modification points. After filtering, the system presents the review-assisting information (relevant modification points and controlling conditions) in a systematic manner to the user for facilitating verification of the software code. |
| 主权项 |
1. A method for facilitating verification of a software code, the method comprising:
providing a processor and a non-transitory memory coupled to the processor, wherein the processor executes a plurality of modules stored in the memory, and wherein the plurality of modules include a selecting module, a determining module, and a user-interface module; selecting, via the selecting module, a first program point indicating a warning generated for a software code to be verified, wherein the first program point has a programming expression comprising a set of variables with a set of modification points, and wherein the warning is generated when a value of at least one variable of the set of variables is not statically determined; determining, via the determining module, a review-assisting information for a user to judge whether the value associated with the at least one variable leads the first program point to a safe condition or to an unsafe condition, wherein the review-assisting information is determined by transitively locating at least one of:
the set of modification points, from the software code, that assigns the value to the at least one variable,a controlling condition indicated by a second program point associated with the at least one variable, from the software code, if the value assigned at the set of modification points is incapable of suggesting to the user about the safe or the unsafe condition of the first program point, and wherein the controlling condition helps the user in determining about the safe or the unsafe condition of the first program point, anda path amongst the set of modifications points, the controlling condition, and the first program point; and presenting, via the user-interface module, the review-assisting information to the user by:
filtering out non-useful modification points from the set of modification points and identifying one or more relevant modification points, anddisplaying the one or more relevant modification points or the controlling condition to the user, wherein the one or more relevant modification points or the controlling condition indicates a root cause for the warning generated, thereby facilitating verification of the software code. |
