Binary Code의 영향을 최소화하는 LLVM기반 Fault Injector의 모델 설계 및 구현

초록

본 연구는 기존 LLVM 기반 Fault Injector를 응용한 Binary Code의 영향을 최소화하는 Fault Injector의 설계 모델을 제시한다. 본 연구에서 제시하는 Fault Injection 전략은 세 가지로, 각각 코드 레벨 삽입, 연 산부분 단순화, 어셈블리 레벨 마킹이다. 코드 레벨 Fault-Injector는 C/C++코드에서 특정 변수를 선택해 원하는 변수에 Fault를 삽입한다. 이는 기존 LLFI의 IR 선택 방식보다 전략적인 Fault Injection 코드 삽입 을 가능하게 한다. 또한, 어셈블리 레벨 마킹을 통해 소프트웨어 기반 검증 방식이 아닌, 하드웨어 기반 검증 방식을 구현할 수 있음을 예상한다.