The present invention is a technique for obtaining execution frequency information on execution paths in a CFG, including preparing a CFG from a source code read into a memory, preparation of the CGF including modifying the CFG by assigning path value zero to an edge v→w between a precedent basic block v and a successor basic block w following the predecessor basic block v in a case where the successor basic block w has a predecessor basic block x other than the predecessor basic block v, and where the successor basic block w exists on a fall-through path from the predecessor basic block x. The technique also includes obtaining execution frequency information by using the modified CFG.