In general it’s impossible to trace the flow of an entire program due to the halting problem. Also most programs have a lot of branches and this would lead to a

In general it’s impossible to trace the flow of an entire program due to the halting problem. Also most programs have a lot of branches and this would lead to an explosion of possible paths through the code to trace.