Identifying potentially uninitialized source code variables

A method for evaluating usage of a variable in computer program source code, the source code represented by a plurality of nodes in a control flow graph, the method comprising:

• identifying, by a processor, a set of target nodes in the plurality of nodes, each target node including at least one target line of the source code, each target line defining a modification to the variable;
• generating a set of first scores corresponding to the set of target nodes;
• generating a set of second scores corresponding to the set of target nodes, the set of second scores based on the modifications defined by the at least one target line and further based on the set of first scores;
• comparing the set of second scores to the set of first scores;
• and
• until each second score is equal to the corresponding first score, replacing the set of first scores with the set of second scores and generating a new set of second scores.