| 1 |
1
인터프로시져럴 제어 흐름 그래프에서 각 프로그램 위치로부터 에러 위치까지의 최단 거리를 효율적으로 계산하기 위한 컴퓨터 시스템의 방법에 있어서, 상기 에러 위치를 확인하는 단계; 및상기 에러 위치로부터 이어지는 적어도 하나의 엣지를 추적하면서, 상기 에러 위치와 적어도 하나의 함수에 의해 연관되는 프로그램 위치에 대해 상기 최단 거리를 계산하는 단계를 포함하는, 방법
|
| 2 |
2
제 1 항에 있어서, 상기 인터프로시져럴 제어 흐름 그래프가 구성되는 중에, 각 함수에 대한 함수 호출 위치와 함수 반환 위치의 쌍을 포함하는 호출 관계 정보를 저장하는 단계를 더 포함하고,상기 최단 거리를 계산하는 단계는,상기 호출 관계 정보를 기반으로, 상기 에러 위치와 연관되는 적어도 하나의 함수에 대한 함수 반환 위치와 함수 호출 위치를 역으로 추적하여, 상기 최단 거리를 계산하는,방법
|
| 3 |
3
제 2 항에 있어서, 상기 인터프로시져럴 제어 흐름 그래프는 복수의 프로그램 위치들을 포함하고, 복수의 엣지들이 상기 프로그램 위치들의 사이를 각각 연결하고, 상기 프로그램 위치들 중 두 개가 각 함수에 대한 함수 호출 위치와 함수 반환 위치인, 방법
|
| 4 |
4
제 3 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 블록 위치를 포함하고, 상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 상기 프로그램 위치까지의 블록 위치의 개수를 카운트하여, 상기 최단 거리로 계산하는,방법
|
| 5 |
5
제 4 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 비블록 위치를 더 포함하고, 상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 상기 프로그램 위치 사이의 비블록 위치는 무시하는, 방법
|
| 6 |
6
제 5 항에 있어서, 상기 프로그램 위치들 중 적어도 하나는 종료 위치이고, 각 함수에 대한 함수 호출 위치와 함수 반환 위치, 및 상기 종료 위치의 각각은 상기 비블록 위치인, 방법
|
| 7 |
7
제 4 항에 있어서, 상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 역으로 추적하면서, 상기 에러 위치를 기준으로, 상기 프로그램 위치들의 각각에 대해, 위치 변수를 설정하는 단계; 및상기 프로그램 위치의 위치 변수를 기반으로, 상기 최단 거리를 계산하는 단계를 포함하고, 상기 위치 변수는 상기 에러 위치로부터의 카운트 값 또는 상기 에러 위치와의 상관 정보 중 적어도 하나를 포함하는,방법
|
| 8 |
8
컴퓨터 시스템에 있어서, 메모리; 및상기 메모리와 연결되고, 상기 메모리에 저장된 적어도 하나의 명령을 실행하도록 구성된 프로세서를 포함하고, 상기 프로세서는, 상기 에러 위치를 확인하고, 상기 에러 위치로부터 이어지는 적어도 하나의 엣지를 추적하면서, 상기 에러 위치와 적어도 하나의 함수에 의해 연관되는 프로그램 위치에 대해 상기 최단 거리를 계산하도록 구성되는,컴퓨터 시스템
|
| 9 |
9
제 8 항에 있어서, 상기 프로세서는, 상기 인터프로시져럴 제어 흐름 그래프가 구성되는 중에, 각 함수에 대한 함수 호출 위치와 함수 반환 위치의 쌍을 포함하는 호출 관계 정보를 저장하고,상기 호출 관계 정보를 기반으로, 상기 에러 위치와 연관되는 적어도 하나의 함수에 대한 함수 반환 위치와 함수 호출 위치를 역으로 추적하여, 상기 최단 거리를 계산하도록 구성되는,컴퓨터 시스템
|
| 10 |
10
제 9 항에 있어서, 상기 인터프로시져럴 제어 흐름 그래프는 복수의 프로그램 위치들을 포함하고, 복수의 엣지들이 상기 프로그램 위치들의 사이를 각각 연결하고, 상기 프로그램 위치들 중 두 개가 각 함수에 대한 함수 호출 위치와 함수 반환 위치인, 컴퓨터 시스템
|
| 11 |
11
제 10 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 블록 위치를 포함하고, 상기 프로세서는, 상기 에러 위치로부터 상기 프로그램 위치까지의 블록 위치의 개수를 카운트하여, 상기 최단 거리로 계산하도록 구성되는,컴퓨터 시스템
|
| 12 |
12
제 11 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 비블록 위치를 더 포함하고, 상기 프로세서는,상기 에러 위치로부터 상기 프로그램 위치 사이의 비블록 위치는 무시하도록 구성되는,컴퓨터 시스템
|
| 13 |
13
제 12 항에 있어서, 상기 프로그램 위치들 중 적어도 하나는 종료 위치이고, 각 함수에 대한 함수 호출 위치와 함수 반환 위치, 및 상기 종료 위치의 각각은 상기 비블록 위치인, 컴퓨터 시스템
|
| 14 |
14
제 11 항에 있어서, 상기 프로세서는, 상기 에러 위치로부터 역으로 추적하면서, 상기 에러 위치를 기준으로, 상기 프로그램 위치들의 각각에 대해, 위치 변수를 설정하고,상기 프로그램 위치의 위치 변수를 기반으로, 상기 최단 거리를 계산하고,상기 위치 변수는 상기 에러 위치로부터의 카운트 값 또는 상기 에러 위치와의 상관 정보 중 적어도 하나를 포함하는,컴퓨터 시스템
|
| 15 |
15
비-일시적인 컴퓨터-판독 가능 저장 매체에 있어서, 상기 에러 위치를 확인하는 단계; 및상기 에러 위치로부터 이어지는 적어도 하나의 엣지를 추적하면서, 상기 에러 위치와 적어도 하나의 함수에 의해 연관되는 프로그램 위치에 대해 상기 최단 거리를 계산하는 단계를 실행하기 위한 하나 이상의 프로그램들을 저장하기 위한 컴퓨터-판독 가능 저장 매체
|
| 16 |
16
제 15 항에 있어서, 상기 프로그램들은,상기 인터프로시져럴 제어 흐름 그래프가 구성되는 중에, 각 함수에 대한 함수 호출 위치와 함수 반환 위치의 쌍을 포함하는 호출 관계 정보를 저장하는 단계를 더 실행하고,상기 최단 거리를 계산하는 단계는,상기 호출 관계 정보를 기반으로, 상기 에러 위치와 연관되는 적어도 하나의 함수에 대한 함수 반환 위치와 함수 호출 위치를 역으로 추적하여, 상기 최단 거리를 계산하는,컴퓨터-판독 가능 저장 매체
|
| 17 |
17
제 16 항에 있어서,상기 인터프로시져럴 제어 흐름 그래프는 복수의 프로그램 위치들을 포함하고, 복수의 엣지들이 상기 프로그램 위치들의 사이를 각각 연결하고, 상기 프로그램 위치들 중 두 개가 각 함수에 대한 함수 호출 위치와 함수 반환 위치인, 컴퓨터-판독 가능 저장 매체
|
| 18 |
18
제 17 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 블록 위치를 포함하고,상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 상기 프로그램 위치까지의 블록 위치의 개수를 카운트하여, 상기 최단 거리로 계산하는,컴퓨터-판독 가능 저장 매체
|
| 19 |
19
제 18 항에 있어서, 상기 프로그램 위치들은 적어도 하나의 비블록 위치를 더 포함하고, 상기 프로그램 위치들 중 적어도 하나는 종료 위치이고, 각 함수에 대한 함수 호출 위치와 함수 반환 위치, 및 상기 종료 위치의 각각은 상기 비블록 위치인,상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 상기 프로그램 위치 사이의 비블록 위치는 무시하는, 컴퓨터-판독 가능 저장 매체
|
| 20 |
20
제 18 항에 있어서, 상기 최단 거리를 계산하는 단계는,상기 에러 위치로부터 역으로 추적하면서, 상기 에러 위치를 기준으로, 상기 프로그램 위치들의 각각에 대해, 위치 변수를 설정하는 단계; 및상기 프로그램 위치의 위치 변수를 기반으로, 상기 최단 거리를 계산하는 단계를 포함하고, 상기 위치 변수는 상기 에러 위치로부터의 카운트 값 또는 상기 에러 위치와의 상관 정보 중 적어도 하나를 포함하는,컴퓨터-판독 가능 저장 매체
|
