17. A device comprising: one or more processors to: perform a static verification analysis of computer code to identify a point, in the computer code, that, under at least one set of states of variables in the computer code, causes an error in an execution of the computer code, when performing the static verification analysis, the one or more processors being to: analyze a first plurality of possible execution paths of the computer code based on an over-approximation of states, traverse, from the identified point, through a second plurality of possible execution paths of the computer code in a backward direction, the second plurality of possible execution paths being determined based on an under-approximation of the states, analyze the identified point using an empiric analysis technique based on semantic information for the computer code, determine, based on traversing through the second plurality of possible execution paths in the backward direction, one or more points in the computer code as possible causes of the error, classify, based on traversing through the second plurality of possible execution paths in the backward direction and the analyzing the identified point, the one or more points as one of: a first error classification, when the error is caused by code included in the computer code, or a second error classification, when the error is caused by an input to the computer code, and output information associated with classifying the one or more points.
17. A device comprising: one or more processors to: perform a static verification analysis of computer code to identify a point, in the computer code, that, under at least one set of states of variables in the computer code, causes an error in an execution of the computer code, when performing the static verification analysis, the one or more processors being to: analyze a first plurality of possible execution paths of the computer code based on an over-approximation of states, traverse, from the identified point, through a second plurality of possible execution paths of the computer code in a backward direction, the second plurality of possible execution paths being determined based on an under-approximation of the states, analyze the identified point using an empiric analysis technique based on semantic information for the computer code, determine, based on traversing through the second plurality of possible execution paths in the backward direction, one or more points in the computer code as possible causes of the error, classify, based on traversing through the second plurality of possible execution paths in the backward direction and the analyzing the identified point, the one or more points as one of: a first error classification, when the error is caused by code included in the computer code, or a second error classification, when the error is caused by an input to the computer code, and output information associated with classifying the one or more points. 21. The device of claim 17 , where the under-approximation of the states includes approximating possible variable states, during traversing through the second plurality of possible execution paths in the backward direction, where all of the one or more points are co-accessible from the identified point.