COMPUTER SYSTEM FOR EFFICIENT CALCULATION OF SHORTEST DISTANCE FROM PROGRAM LOCATION TO ERROR LOCATION IN INTER-PROCEDURAL CONTROL-FLOW GRAPH, AND METHOD THEREOF

Abstract

다양한 실시예들은 인터프로시져럴 제어 흐름 그래프에서 각 프로그램 위치로부터 에러 위치까지의 최단 거리를 효율적으로 계산하기 위한 컴퓨터 시스템 및 그의 방법에 관한 것으로, 에러 위치를 확인하고, 에러 위치로부터 이어지는 적어도 하나의 엣지를 추적하면서, 에러 위치와 적어도 하나의 함수에 의해 연관되는 프로그램 위치에 대해 최단 거리를 계산하도록 구성될 수 있다