code walk
Stepping through source code as part of a code review.
Where a code walk probably only follows the potential control flow of a program, a dry run is a more detailed manual execution of a program that also keeps track of the value of every variable involved.