Debugging using code analysis

A method comprising:

• performing a code analysis process to identify one or more possible program defects that are present in source code of a program, the code analysis process being performed without executing the program;
• displaying, on a display device, at least one of the one or more possible program defects;
• receiving a selection of the at least one of the one or more possible program defects;
• in response to receiving the selection, displaying at least one selectable entry in a call stack, the at least one selectable entry corresponding to the at least one of the one or more possible program defects identified by the code analysis process;
• and
• in response to selection of the at least one selectable entry, displaying, in a window, at least a portion of a source code file corresponding to the at least one of the one or more possible program defects, the at least portion of the source code file including a variable, and displaying a range of values for the variable, the range including a plurality of possible values for the variable.

A computer-readable storage medium not consisting of a signal, storing computer-executable instructions for causing at least one computing device to perform operations comprising:

• performing a code analysis process on a program without execution of the program;
• retrieving a plurality of analysis results that are stored in a structured format, the analysis results comprising details about one or more program defects that were identified during the code analysis process;
• providing a review of a representation of the one or more possible program defects in a graphical interface;
• displaying a call stack associated with a selected one of the one or more possible program defects;
• selecting at least one entry of the call stack;
• and
• displaying the at least one selectable entry in the call stack with source code of the program corresponding to the selected one of the one or more possible program defects, the source code including a variable and a range of values for the variable.