요약본 개시의 소프트웨어 보안 취약점 분석을 위한 전자 장치의 중간언어 변환 방법은 입력 코드를 수신하는 단계, 입력 코드에 기초하여 명령어에 포함된 적어도 하나의 변수를 식별하는 단계, 식별된 변수에 대한 데이터 타입을 추론하는 단계 및 식별된 변수에 대한 정보 및 추론된 데이터 타입을 기초로 입력 코드를 중간 언어로 변환하는 단계를 포함한다.
대표 청구항소프트웨어 보안 취약점 분석을 위한 전자 장치의 중간언어 변환 방법에 있어서,입력 코드를 수신하는 단계;상기 입력 코드에 기초하여 명령어에 포함된 적어도 하나의 변수를 식별하는 단계;상기 식별된 변수에 대한 데이터 타입을 추론하는 단계; 및상기 식별된 변수에 대한 정보 및 상기 추론된 데이터 타입을 기초로 상기 입력 코드를 중간 언어로 변환하는 단계;를 포함하고,상기 입력 코드는 소스 코드, 바이너리 코드 및 가상 기계 코드 중 적어도 하나이고, 상기 소스 코드는, 탈중앙화 분산형 어플리케이션(Decentralized Application)의 실행 코드이고, 이더리움 솔리디티(Ethereum Solidity) 및 하이퍼렛져 패브릭(Hyperledger Fabric) 중 적어도 하나의 언어로 구현된 것을 특징으로 하는 중간언어 변환 방법.
