本发明提供按需的可约程序控制流图图可达性索引方法，属于计算机程序分析技术领域。本发明利用深度优先策略遍历程序控制流图中所有节点；以区域层次深度作为度量权重，通过加权工作列表存储待编码节点；该加权工作列表是由堆数据结构实现，插入列表的节点根据区域层次深度排序，保证顶端节点的层次最深，弹出列表的节点是按区域层次深度优先策略排序的节点。本发明解决了现有控制流图图可达性索引技术时空开销较大的问题。本发明可用于按需程序分析。