4. A system for grouping a plurality of warnings generated based on a static analysis of an application program, the system comprising: one or more processors; and a memory storing processor-executable instructions that, when executed by the one or more processors, configure the one or more processors to: analyze the application program to generate the plurality of warnings; identify 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); generate 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 group said plurality of warnings, wherein at least one review of the warning 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 a 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.
6. The system of claim 4 , wherein the instructions to generate the one or more groups of warning corresponds to a single verification property of the application program.