Downloadable software for analyzing the source code and execution trace data of software programs