Analyzing code execution