Code Walk Through is the informal analysis of the program source code to find defects and verify coding techniques