1 |
1
전자 장치의 제어 방법에 있어서,타겟 프로그램에 대한 트레이스 데이터(trace data)를 획득하는 단계;상기 트레이스 데이터를 바탕으로 적어도 하나의 제1 함수를 획득하는 단계; 상기 적어도 하나의 제1 함수 중 퍼징이 시작되는 제1 기본 블록에 대응되는 제2 함수를 식별하는 단계;상기 제2 함수를 추상화하여 제3 함수를 획득하는 단계; 및 상기 트레이스 데이터 및 상기 제3 함수를 바탕으로 퍼징(fuzzing)을 수행하는 단계;를 포함하는제어 방법
|
2 |
2
제1 항에 있어서,상기 트레이스 데이터는 상기 타겟 프로그램에 대한 적어도 하나의 스냅샷 데이터(snapshot data)를 포함하고,상기 퍼징을 수행하는 단계는,상기 적어도 하나의 스냅샷 데이터 중 상기 제2 함수의 실행 시점에 대응되는 스냅샷 데이터를 식별하고, 상기 식별된 스냅샷 데이터를 로딩하는 단계;상기 제3 함수를 바탕으로 상기 제1 기본 블록에 대한 제1 입력 값을 획득하고, 상기 제1 입력 값을 상기 제1 기본 블록에 입력하여 크래시(crash)를 검출하는 단계를 포함하는제어 방법
|
3 |
3
제2 항에 있어서,상기 크래시가 검출되면, 상기 제1 입력 값 및 상기 크래시에 대한 위치 정보를 바탕으로 상기 크래시 검출을 검증하는 단계;를 더 포함하고,상기 검증하는 단계는,상기 크래시가 검출된 제2 기본 블록에 대한 위치 정보를 획득하는 단계,상기 제1 입력 값 및 상기 제3 함수를 바탕으로 상기 타겟 프로그램에 대한 제2 입력 값을 획득하는 단계, 및상기 제2 기본 블록에 대한 위치 정보 및 상기 제2 입력 값을 바탕으로 상기 크래시 검출을 검증하는 단계를 포함하는제어 방법
|
4 |
4
제3 항에 있어서,상기 크래시 검출을 검증하는 단계는,상기 제2 입력 값을 상기 타겟 프로그램에 입력하여 상기 제2 기본 블록에서 크래시가 검출되면, 상기 크래시 검출을 진검출로 판단하는제어 방법
|
5 |
5
제3 항에 있어서,상기 크래시 검출을 검증하는 단계는,상기 제2 입력 값을 상기 타겟 프로그램에 입력하여 상기 제2 기본 블록에서 크래시가 미검출되면, 상기 크래시 검출을 오검출로 판단하는제어 방법
|
6 |
6
제1 항에 있어서,상기 제3 함수를 획득하는 단계는,상기 제2 함수의 해를 획득하고,상기 획득된 제2 함수의 해를 바탕으로 제3 함수를 생성하는제어 방법
|
7 |
7
제1 항에 있어서,상기 제1 함수를 획득하는 단계는,상기 트레이스 데이터에 포함된 적어도 하나의 제약 조건을 식별하는 단계, 및상기 식별된 제약 조건을 바탕으로 상기 제1 함수를 획득하는 단계를 포함하는제어 방법
|
8 |
8
전자 장치에 있어서,적어도 하나의 인스트럭션을 저장하는 메모리; 및프로세서;를 포함하고,상기 프로세서는,타겟 프로그램에 대한 트레이스 데이터(trace data)를 획득하고,상기 트레이스 데이터를 바탕으로 적어도 하나의 제1 함수를 획득하고,상기 적어도 하나의 제1 함수 중 퍼징이 시작되는 제1 기본 블록에 대응되는 제2 함수를 식별하고,상기 제2 함수를 추상화하여 제3 함수를 획득하고,상기 트레이스 데이터 및 상기 제3 함수를 바탕으로 퍼징(fuzzing)을 수행하는전자 장치
|
9 |
9
제8 항에 있어서,상기 트레이스 데이터는 상기 타겟 프로그램에 대한 적어도 하나의 스냅샷 데이터(snapshot data)를 포함하고,상기 프로세서는,상기 적어도 하나의 스냅샷 데이터 중 상기 제2 함수의 실행 시점에 대응되는 스냅샷 데이터를 식별하고, 상기 식별된 스냅샷 데이터를 로딩하고,상기 제3 함수를 바탕으로 상기 제1 기본 블록에 대한 제1 입력 값을 획득하고, 상기 제1 입력 값을 상기 제1 기본 블록에 입력하여 크래시(crash)를 검출하는전자 장치
|
10 |
10
제9 항에 있어서,상기 프로세서는,상기 크래시가 검출되면, 상기 제1 입력 값 및 상기 크래시에 대한 위치 정보를 바탕으로 상기 크래시 검출을 검증하되,상기 크래시가 검출된 제2 기본 블록에 대한 위치 정보를 획득하고,상기 제1 입력 값 및 상기 제3 함수를 바탕으로 상기 타겟 프로그램에 대한 제2 입력 값을 획득하고,상기 제2 기본 블록에 대한 위치 정보 및 상기 제2 입력 값을 바탕으로 상기 크래시 검출을 검증하는전자 장치
|
11 |
11
제10 항에 있어서,상기 프로세서는,상기 제2 입력 값을 상기 타겟 프로그램에 입력하여 상기 제2 기본 블록에서 크래시가 검출되면, 상기 크래시 검출을 진검출로 판단하는전자 장치
|
12 |
12
제10 항에 있어서,상기 프로세서는,상기 제2 입력 값을 상기 타겟 프로그램에 입력하여 상기 제2 기본 블록에서 크래시가 미검출되면, 상기 크래시 검출을 오검출로 판단하는전자 장치
|
13 |
13
제8 항에 있어서,상기 프로세서는,상기 제2 함수의 해를 획득하고상기 획득된 제2 함수의 해를 바탕으로 제3 함수를 생성하는전자 장치
|
14 |
14
제8 항에 있어서,상기 프로세서는,상기 트레이스 데이터에 포함된 적어도 하나의 제약 조건을 식별하고,상기 식별된 제약 조건을 바탕으로 상기 제1 함수를 획득하는전자 장치
|
15 |
15
제8 항에 있어서,상기 제2 함수는,상기 제1 기본 블록과 연결되는 상위 브랜치에 대응되는 전자 장치
|