1. A method for grouping a plurality of warnings generated based on a static analysis of an application program, the method comprising: analyzing, by one or more processors executing programmed instructions stored in a memory, the application program to generate the plurality of warnings; identifying, by the one or more processors, one or more similar warnings based on the plurality of warnings, the one or more similar warnings having structurally and semantically similar expressions of interest (EOIs); generating, by the one or more processors, one or more groups of warnings based on the plurality of warnings, the one or more groups of warnings including one or more of corresponding identified similar warnings; and grouping said plurality of warnings, wherein at least one review of the warning in at least one group indicates a review of one or more similar warnings, wherein the one or more similar warnings is different from a warning reviewed earlier, and wherein grouping of the one or more similar warnings are generated by the static analysis comprising of: computing a plurality of must reaching expressions (MREs) in a forward-flow-of-information computation, and computing a plurality of must live expressions (MLEs) in a backward-flow-of-information computation.