“…the semantics of a node. There have been works on low granularity, where a node represents a single instruction or a short sequence of instructions [6,8,40,21], middle granularity, where a node represents a basic block [22,27,38], and high granularity, where a node represents a function or procedure [18,36,48,2], as well as flexible granularity, where a node can represent any of the above [20,47].…”