| 1 |
1
비용 함수를 이용하여, 적어도 하나의 프로그램 내에서의 취약 트랜잭션 시퀀스 후보를 선정하는 단계;상기 트랜잭션 시퀀스 후보에 대해 기호 실행을 수행하여 검증 조건을 획득하는 단계; 및상기 검증 조건에 대한 검증 결과, 취약 트랜잭션 시퀀스가 발견되지 않은 경우 검증 조건의 만족 여부를 확인하고, 검증 조건이 만족되면 상기 취약 트랜잭션 시퀀스 후보를 취약 트랜잭션 시퀀스로 결정하는 단계를 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 2 |
2
제1항에 있어서,상기 비용함수를 획득하는 단계를 더 포함하되,상기 비용함수를 획득하는 단계는,취약 트랜잭션 시퀀스 집합을 획득하는 단계;상기 취약 트랜잭션 시퀀스 집합 내의 취약 트랜잭션 시퀀스를 추상화하는 단계; 및추상화된 취약 트랜잭션 시퀀스 및 언어 모델을 이용하여 상기 비용함수를 결정하는 단계;를 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 3 |
3
제1항에 있어서,상기 검증 조건이 획득되면, 상기 검증 조건을 간략화하는 단계를 더 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 4 |
4
제3항에 있어서,상기 검증 조건을 간략화하는 단계는,검증과 무관한 논리식들을 검증 조건에서 제외하는 단계; 및수량자 제거 최적화를 수행하는 단계 중 적어도 하나를 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 5 |
5
제1항에 있어서,상기 적어도 하나의 프로그램 내의 루프를 언롤링하거나 또는 상기 적어도 하나의 프로그램 내의 함수의 호출 지점마다 호출될 함수를 인라인하는 단계를 더 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 6 |
6
제1항에 있어서,상기 적어도 하나의 프로그램은, 스마트 컨트랙트를 포함하는 취약 트랜잭션 시퀀스 획득 방법
|
| 7 |
7
제1항에 있어서,상기 트랜잭션 시퀀스 후보에 대해 기호 실행을 수행하여 검증 조건을 획득하는 단계는,상기 트랜잭션 시퀀스 후보에 대해 검증 조건 생성 함수를 이용하여 검증 조건을 획득하는 단계;를 포함하되,상기 검증 조건 생성 함수는, 트랜잭션에 대한 기호 실행기를 기반으로 하는 트랜잭션 시퀀스에 대한 기호 실행기를 이용하는 것인 취약 트랜잭션 시퀀스 획득 방법
|
| 8 |
8
적어도 하나의 프로그램을 일시적 또는 비일시적으로 저장하는 저장부; 및상기 적어도 하나의 프로그램을 수신하고, 비용 함수를 이용하여, 적어도 하나의 프로그램 내에서의 취약 트랜잭션 시퀀스 후보를 선정하고, 상기 트랜잭션 시퀀스 후보에 대해 기호 실행을 수행하여 검증 조건을 획득하고, 상기 검증 조건에 대한 검증 결과, 취약 트랜잭션 시퀀스가 발견되지 않은 경우, 검증 조건의 만족 여부를 확인하고, 검증 조건이 만족되면 상기 취약 트랜잭션 시퀀스 후보를 취약 트랜잭션 시퀀스로 결정하는 프로세서;를 포함하는 취약 트랜잭션 시퀀스 획득 장치
|
| 9 |
9
제8항에 있어서,상기 프로세서는, 취약 트랜잭션 시퀀스 집합을 획득하고, 상기 취약 트랜잭션 시퀀스 집합 내의 취약 트랜잭션 시퀀스를 추상화하고, 추상화된 취약 트랜잭션 시퀀스 및 언어 모델을 이용하여 상기 비용함수를 결정하는 취약 트랜잭션 시퀀스 획득 장치
|
| 10 |
10
제8항에 있어서,상기 프로세서는, 상기 검증 조건이 획득되면, 상기 검증 조건의 간략화를 수행하는 취약 트랜잭션 시퀀스 획득 장치
|
| 11 |
11
제10항에 있어서,상기 프로세서는, 검증과 무관한 논리식들의 검증 조건 제외 및 수량자 제거 최적화 중 적어도 하나를 수행함으로써, 상기 검증 조건을 간략화를 수행하는 취약 트랜잭션 시퀀스 획득 장치
|
| 12 |
12
제8항에 있어서,상기 프로세서는, 상기 적어도 하나의 프로그램 내의 루프를 언롤링하거나 또는 상기 적어도 하나의 프로그램 내의 함수의 호출 지점마다 호출될 함수를 인라인하는 취약 트랜잭션 시퀀스 획득 장치
|
| 13 |
13
제8항에 있어서,상기 적어도 하나의 프로그램은, 스마트 컨트랙트를 포함하는 취약 트랜잭션 시퀀스 획득 장치
|
| 14 |
14
제8항에 있어서,상기 프로세서는, 상기 트랜잭션 시퀀스 후보에 대해 검증 조건 생성 함수를 이용하여 검증 조건을 획득하되, 상기 검증 조건 생성 함수는, 트랜잭션에 대한 기호 실행기를 기반으로 하는 트랜잭션 시퀀스에 대한 기호 실행기를 포함하는 취약 트랜잭션 시퀀스 획득 장치
|
