Patent ID: 8291399

Claim:
A non-transitory computer-readable medium having stored therein instructions which, when executed by a processor, cause the processor to perform a method comprising: identifying, prior to execution of a program, a super nested block in a control-flow graph, the super nested block comprising a block of code in the program having a branching point; marking only one branch of the branching point for probing to yield a first location, the first location comprising one of a single node and a second branching point; expanding a second branch of the branching point to yield a second super nested block, the second super nested block comprising a second block of code in the program having a plurality of branches; marking a node from the plurality of branches for probing to yield a second location comprising one of a single node and a second branching point; and inserting a probe at the first location in the program and the second location in the program during execution of the program.