Patent ID: 9201765
Filing Date: 2015-12-01
Classification: G06F

Abstract:
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 associated 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 to determine 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 determining the review-assisting information comprises locating at least one of: the set of modification points, from the software code, assigning the value to the at least one variable, and a controlling condition, from the source code, comprising a second program point having a programming expression associated with the at least one variable, from amongst the set of variables, and a display of a path amongst the set of modification 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, based on the values assigned by the modification points and identifying one or more relevant modification points, and systematically displaying the one or more relevant modification points or the controlling condition and the path amongst the set of modification points to the warning generated for the source code, 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.