×

Method and a system for constructing control flows graphs of binary executable programs at post-link time

  • US 20050060696A1
  • Filed: 08/29/2003
  • Published: 03/17/2005
  • Est. Priority Date: 08/29/2003
  • Status: Active Grant
First Claim
Patent Images

1. A method for constructing a control flow graph (CFG) from a computer executable program the instructions of which belong to one or more instruction sets, said method comprising the steps of defining a number of block leader types including at least one type related to an instruction set change, block leaders specifying basic block boundaries in the program, said basic blocks including instructions or data (702), building a CFG structure comprising basic blocks found in the program (708), adding control flow and addressing information to said CFG by propagating through said basic blocks and internals thereof (710).

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×