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, and a 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, and displaying 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.