Analyzes single procedures. Reports unconditional errors that occur on some program execution paths. Does not do global data and control flow analysis.