Section 5 SDLC Processes and Methods and the Security of Software
the reviewer monitors and analyzes the data (variables) the program
produces as a result. With this better understanding of how the
program behaves, the analyst can use a binary-to-source map to trace