| 1 |
1
프로그래밍 언어 기반으로 실행 가능한 프로그램의 분석 대상 소스 코드를 입력 받는 입력부;상기 분석 대상 소스 코드를 분석하기 위해 미리 저장된 프로그램의 소스 코드와 관련된 복수의 포맷들과 상기 각 포맷들에 대응하는 분석을 위한 적어도 하나의 옵션들을 고려하여, 상기 분석 대상 소스 코드와 기 저장된 분석 기준 소스 코드를 비교하여 일치 여부를 판단하거나 상기 분석 대상 소스 코드의 오류 발생 여부 및 오류 유형을 판단하는 판단부; 및상기 일치 여부에 대한 판단 결과 또는 상기 오류 발생 여부 및 오류 유형에 대한 판단 결과를 제공하는 결과 제공부;를 포함하는 소스 코드 분석을 위한 분석 시스템
|
| 2 |
2
제1항에 있어서,상기 판단부는,상기 분석 대상 소스 코드의 오류 발생 여부를 판단하는 오류 발생 여부 판단부를 더 포함하고, 상기 오류 발생 여부 판단부는 상기 분석 대상 소스 코드가 오류를 발생하는 것으로 판단하면, 상기 발생된 오류의 유형을 검출하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 3 |
3
제2항에 있어서,상기 오류 발생 여부 판단부는,상기 분석 대상 소스 코드 내 적어도 하나의 함수에 상기 오류 유형 검출을 위한 검출함수를 삽입하는 검출함수 삽입부;상기 검출함수가 삽입됨에 따라 상기 적어도 하나의 함수의 출력값을 수집하는 출력값 수집부; 및상기 수집된 출력값에 따라 상기 분석 대상 소스 코드의 검출된 오류 유형을 검출하는 오류 유형 검출부;를 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 4 |
4
제3항에 있어서,상기 오류 유형 검출부는,상기 분석 시스템에 미리 저장된 적어도 하나의 오류 유형들을 고려하여 상기 분석 대상 소스 코드의 검출된 오류 유형을 검출하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 5 |
5
제1항에 있어서,상기 판단부는, 상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드의 동형 관계를 비교하거나 상기 분석 대상 소스 코드를 구성하는 함수의 출력 결과 값과 상기 분석 기준 소스 코드의 출력 결과 값을 비교하여 상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드의 일치 여부를 판단하는 일치 여부 판단부를 더 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 6 |
6
제5항에 있어서,상기 일치 여부 판단부는 상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드의 동형 관계를 비교하는 동형 관계 비교부를 더 포함하고,상기 동형 관계 비교부는 상기 분석 대상 소스 코드를 구성하는 적어도 하나의 함수 및 데이터 각각을 연결하는 노드와 함께 1차원 또는 2차원으로 배열하고, 상기 배열된 노드를 이용하여 상기 동형 관계를 비교하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 7 |
7
제1항에 있어서,상기 분석 대상 소스 코드가 작성된 포맷과 상기 분석 시스템의 포맷을 비교하여, 상기 분석 대상 소스 코드의 포맷과 상기 분석 시스템의 포맷이 일치하지 않는 경우, 상기 분석 대상 소스 코드의 포맷을 변환하는 포맷 변환부를 더 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 8 |
8
제7항에 있어서,상기 포맷 변환부는,상기 분석 대상 소스 코드의 포맷과 상기 분석 시스템의 포맷이 일치하지 않는 경우, 상기 분석 대상 소스 코드의 인코딩을 유니코드를 위한 가변 길이 문자 인코딩으로 변환하는 인코딩 변환부;상기 분석 대상 소스 코드의 함수를 상기 분석 시스템에 호환 가능한 함수로 변환하는 함수 변환부; 및상기 분석 대상 소스 코드에 포함된 에러 문자를 제거하는 에러 문자 제거부;를 더 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 시스템
|
| 9 |
9
분석 시스템이 수행하는 소스 코드 분석을 위한 분석 방법에 있어서,프로그래밍 언어 기반으로 실행 가능한 프로그램의 분석 대상 소스 코드를 입력 받는 단계;상기 분석 대상 소스 코드를 분석하기 위해 미리 저장된 프로그램의 소스 코드와 관련된 복수의 포맷들과 상기 각 포맷들에 대응하는 분석을 위한 적어도 하나의 옵션들을 고려하여, 상기 분석 대상 소스 코드와 기 저장된 분석 기준 소스 코드를 비교하여 일치 여부를 판단하거나 상기 분석 대상 소스 코드의 오류 발생 여부 및 오류 유형을 판단하는 단계; 및상기 일치 여부에 대한 판단 결과 또는 상기 오류 발생 여부 및 오류 유형에 대한 판단 결과를 제공하는 단계;를 포함하는 소스 코드 분석을 위한 분석 방법
|
| 10 |
10
제9항에 있어서,상기 판단하는 단계는,상기 분석 대상 소스 코드의 오류 발생 여부를 판단하는 단계; 및상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드를 비교하여 상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드의 일치 여부를 판단하는 단계;를 더 포함하고, 상기 오류 발생 여부 판단 단계는 상기 분석 대상 소스 코드가 오류를 발생하는 것으로 판단하면, 상기 발생된 오류의 유형을 검출하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 방법
|
| 11 |
11
제10항에 있어서,상기 오류 발생 여부 판단 단계는,상기 분석 대상 소스 코드 내 적어도 하나의 함수에 상기 오류 유형 검출을 위한 검출함수를 삽입하는 단계;상기 검출함수가 삽입됨에 따라 상기 적어도 하나의 함수의 출력값을 수집하는 단계; 및상기 수집된 출력값에 따라 상기 분석 대상 소스 코드의 검출된 오류 유형을 검출하는 단계;를 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 방법
|
| 12 |
12
제11항에 있어서,상기 오류 유형 검출 단계는,미리 저장된 적어도 하나의 오류 유형들을 고려하여 상기 분석 대상 소스 코드의 검출된 오류 유형을 검출하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 방법
|
| 13 |
13
제10항에 있어서,상기 일치 여부 판단 단계는 상기 분석 대상 소스 코드와 상기 분석 기준 소스 코드의 동형 관계를 비교하는 단계를 더 포함하고,상기 동형 관계 비교 단계는 상기 분석 대상 소스 코드를 구성하는 적어도 하나의 함수 및 데이터 각각을 연결하는 노드와 함께 1차원 또는 2차원으로 배열하고, 상기 배열된 노드를 이용하여 상기 동형 관계를 비교하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 방법
|
| 14 |
14
제9항에 있어서,상기 분석 대상 소스 코드가 작성된 포맷과 상기 분석 시스템의 포맷을 비교하여, 상기 분석 대상 소스 코드의 포맷과 상기 분석 시스템의 포맷이 일치하지 않는 경우, 상기 분석 대상 소스 코드의 포맷을 변환하는 단계를 더 포함하고, 상기 포맷 변환 단계는, 상기 분석 대상 소스 코드의 포맷과 상기 분석 시스템의 포맷이 일치하지 않는 경우, 상기 분석 대상 소스 코드의 인코딩을 유니코드를 위한 가변 길이 문자 인코딩으로 변환하는 단계, 상기 분석 대상 소스 코드의 함수를 상기 분석 시스템에 호환 가능한 함수로 변환하는 단계 및 상기 분석 대상 소스 코드에 포함된 에러 문자를 제거하는 단계를 더 포함하는 것을 특징으로 하는 소스 코드 분석을 위한 분석 방법
|
| 15 |
15
제9항 내지 제14항 중 어느 한 항에 따른 소스 코드 분석을 위한 분석 방법을 컴퓨터에서 수행하기 위한 컴퓨터에서 판독 가능한 프로그램이 기록된 저장 매체
|
