A method and system is disclosed herein to identify causes of alarms generated corresponding to each alarm of the static analysis. The system models the basic reasons for alarms as alarm cause points of several types. Further, the system ranks these cause points based on different metrics such as unknown type-based ranking, grouping of cause points based on their lexical similarity or proximity and last but not least contribution score based ranking. The system also uses a workflow in which a user answers queries about the cause points and their answers are used in subsequent round of the static analysis. The collaboration between the answers of the user and the static analysis helps the tool to resolve the unknowns encountered during the analysis and weeding out the alarms. It also helps the user to expedite the manual inspections of alarms.