A processor-implemented method for repositioning of a plurality of static analysis alarms, comprising: providing an application code as an input to a static analyzer module; performing static analysis on the application code to generate a set of static analysis alarms, wherein the set of static analysis alarms detect errors in the application code; performing intermediate repositioning of the set of static analysis alarms, wherein each static analysis alarm in the set of static analysis alarms is repositioned upward at highest program points in the application code identified as program points such that an alarm condition of the static analysis alarm is an anticipable alarm condition computed transitively and not the anticipable alarm condition at program points before the program points, wherein the alarm condition represents a condition checked during manual classification of the static analysis alarm, wherein the anticipable alarm condition at a program point is defined as if every path from the program point to program exit contains a static analysis alarm amongst the set of static analysis alarms with the same alarm condition; computing traceability links between the intermediate repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; performing refinement of the intermediate repositioning by computing highest program points at which the alarm conditions computed from the intermediate repositioned static analysis alarms are available, and nodes, in a control flow graph, associated with the highest program points dominate the nodes associated with the program points at which the alarm conditions are available, wherein the alarm condition is represented as an available alarm condition at a program point if every path from a program entry to the program point contains a static analysis alarm with the same alarm condition; computing traceability links between the refined intermediate repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; performing a set of repositioning techniques on the set of refined intermediate repositioned static analysis alarms, wherein the set of repositioning techniques perform elimination of redundancy in the repositioned static analysis alarms, and then revert repositioning of the static analysis alarms in one or more repositioning cases upon identifying that a number of repositioned static analysis alarms in each of the repositioning cases increases; computing traceability links between the repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; and displaying the set of repositioned static analysis alarms in a communication or input/output interface. providing an application code as an input to a static analyzer module; performing static analysis on the application code to generate a set of static analysis alarms, wherein the set of static analysis alarms detect errors in the application code; performing intermediate repositioning of the set of static analysis alarms, wherein each static analysis alarm in the set of static analysis alarms is repositioned upward at highest program points in the application code identified as program points such that an alarm condition of the static analysis alarm is an anticipable alarm condition computed transitively and not the anticipable alarm condition at program points before the program points, wherein the alarm condition represents a condition checked during manual classification of the static analysis alarm, wherein the anticipable alarm condition at a program point is defined as if every path from the program point to program exit contains a static analysis alarm amongst the set of static analysis alarms with the same alarm condition; computing traceability links between the intermediate repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; performing refinement of the intermediate repositioning by computing highest program points at which the alarm conditions computed from the intermediate repositioned static analysis alarms are available, and nodes, in a control flow graph, associated with the highest program points dominate the nodes associated with the program points at which the alarm conditions are available, wherein the alarm condition is represented as an available alarm condition at a program point if every path from a program entry to the program point contains a static analysis alarm with the same alarm condition; computing traceability links between the refined intermediate repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; performing a set of repositioning techniques on the set of refined intermediate repositioned static analysis alarms, wherein the set of repositioning techniques perform elimination of redundancy in the repositioned static analysis alarms, and then revert repositioning of the static analysis alarms in one or more repositioning cases upon identifying that a number of repositioned static analysis alarms in each of the repositioning cases increases; computing traceability links between the repositioned static analysis alarms and their corresponding static analysis alarms from the set of static analysis alarms; and displaying the set of repositioned static analysis alarms in a communication or input/output interface.