KR20210104521A - 상수 값의 비교 결과에 기반하여 리스토어를 수행하는 전자 장치 및 그 제어 방법 - Google Patents

Abstract

상수 값의 비교 결과에 기반하여 리스토어를 수행하는 전자 장치 및 그 제어 방법이 개시된다. 본 개시의 일 실시예에 따른 전자 장치는, 적어도 하나의 프로세서를 포함하고, 상기 적어도 하나의 프로세서는, 제1 타입 객체와 제2 타입 객체를 바인딩(binding)하는 주석(annotation)이 선언되었는지 여부를 식별하고, 상기 주석이 선언되었다고 식별된 경우, 상기 제1 타입 객체와 상기 제2 타입 객체를 바인딩하고, 상기 바인딩 된 상기 제1 타입 객체와 상기 제2 타입 객체에 대해 모두 서명(sign)을 수행하도록 설정될 수 있다.

Description

상수 값의 비교 결과에 기반하여 리스토어를 수행하는 전자 장치 및 그 제어 방법{AN ELECTRONIC DEVICE PERFORMING A RESTORATION BASED ON A COMPARISON OF CONSTANT VALUE AND CONTROL METHOD THEREOF}

본 개시는, 상수 값의 비교 결과에 기반하여 리스토어를 수행하는 전자 장치 및 그 제어 방법에 관한 것이다.

전자 장치, 예를 들어, 스마트폰과 같은 휴대용 전자 장치를 통해 제공되는 다양한 서비스 및 부가 기능들이 점차 증가하고 있다. 이러한 전자 장치의 효용 가치를 높이고, 다양한 사용자들의 욕구를 만족시키기 위해서 통신 서비스 제공자 또는 전자 장치 제조사들은 다양한 기능들을 제공하고 다른 업체와의 차별화를 위해 전자 장치를 경쟁적으로 개발하고 있다. 이에 따라, 전자 장치를 통해서 제공되는 다양한 기능들도 점점 고도화 되고 있다.

도 1은, 종래의 기술에 따른 제어 플로우 무결성을 검증하기 위한 예시 도면이다.

도 1을 참조하면, 종래의 기술에 따른 전자 장치는, 동작 110에서, 포인터를 선언할 수 있다. 종래의 기술에 따르면, 포인터의 선언은 예를 들어 "handler_t handler"와 같은 선언문을 통해 선언될 수 있다.

종래의 기술에 따른 전자 장치는, 동작 120에서, 서명(sign) 선언에 따라, 선언된 포인터에 대해 서명을 수행할 수 있다. 이와 같은 종래 기술의 동작은, 도 3에서 "h -> handler = POINTER_SIGN(h -> handler);"와 같은 코드로서 기술(description)되어 있다.

종래의 기술에 따른 전자 장치는, 동작 130에서, 리스토어(restoration) 선언에 따라, 동작 110에서 선언된 포인터와 동작 120에서 서명된 포인터가 동일한 포인터 값을 가지는 포인터인지 여부를 판단할 수 있다. 이와 같은 종래 기술의 동작은 도 4에서, "h -> handler =CHECK_POINTER_AND_RESTORE(h -> handler)"와 같은 코드로서 기술되어 있다.

종래의 기술에 따른 전자 장치는, 동작 140에서, 동작 110에서 선언된 포인터와 동작 120에서 서명된 포인터의 포인터 값이 일치하는지 여부를 판단할 수 있다. 이와 같은 종래 기술의 동작은 도 5에서, "h-> handler = CHECK_POINTER_AND_RESTORE(h -> handler)"와 같은 코드로서 기술되어 있다. 종래의 기술에 따른 전자 장치는, 동작 110에서 선언된 포인터와 동작 120에서 서명된 포인터가 동일한 포인터 값을 가지는 포인터인 경우, 동작 150에서, 리스토어 동작을 수행하고 "리스토어 성공"으로 처리(process)할 수 있다. 종래의 기술에 따른 전자 장치는, 동작 110에서 선언된 포인터와 동작 120에서 서명된 포인터가 동일한 포인터 값을 가지는 포인터가 아닌 경우, 동작 160에서, 리스토어 동작을 수행하지 않고 "리스토어 실패"로 처리할 수 있다. 이와 같이, 종래의 기술에 따른 전자 장치는 리스토어 동작을 수행하기 위하여 포인터 그 자체에 대해서만 서명을 수행하고, 포인터의 값을 비교하여 비교 결과에 따라 리스토어 동작을 수행함으로써 무결성을 검증하였다.

그러나, 도 2에 도시된 바와 같이, 포인터 값을 비교하는 동작(예: 동작 130)에서 다른 스레드(thread) 또는 다른 시점에서 서명된 포인터가 이용되는 경우, 만약 다른 스레드 또는 다른 시점에서 서명된 포인터가 동작 110에서 선언된 포인터와 동일한 경우에는 리스토어 동작이 수행될 있는 바, 제어 플로우의 무결성을 완전하게 보장하기 어렵다는 문제가 있다.

본 개시의 일 실시예에 따르면, 지정된 주석(annotation)에 의하여 바인딩 된 포인터와 상수를 모두 서명하고, 리스토어 동작 수행 시, 서명된 포인터 값과 서명된 상수 값을 모두 선언된 포인터 값 및 선언된 상수 값과 각각 비교하여 리스토어 동작을 수행함으로써 제어 플로우의 무결성을 보장할 수 있는 전자 장치가 개시된다.

본 개시의 일 실시예에 따르면, 지정된 주석(annotation)에 의하여 바인딩 된 포인터와 상수를 모두 서명하고, 리스토어 동작 수행 시, 서명된 포인터 값과 서명된 상수 값을 모두 선언된 포인터 값 및 선언된 상수 값과 각각 비교하여 리스토어 동작을 수행함으로써 제어 플로우의 무결성을 보장할 수 있는 전자 장치의 제어 방법이 개시된다.

본 개시의 일 실시예에 따른 전자 장치는, 메모리, 및 적어도 하나의 프로세서를 포함하고, 상기 적어도 하나의 프로세서는, 제1 타입 객체와 제2 타입 객체를 바인딩(binding)하는 주석(annotation)이 선언되었는지 여부를 식별하고, 상기 주석이 선언되었다고 식별된 경우, 상기 제1 타입 객체와 상기 제2 타입 객체를 바인딩하고, 상기 바인딩 된 상기 제1 타입 객체와 상기 제2 타입 객체에 대해 모두 서명(sign)을 수행하도록 설정될 수 있다.

본 개시의 일 실시예에 따른 전자 장치의 제어 방법은, 제1 타입 객체와 제2 타입 객체를 바인딩(binding)하는 주석(annotation)이 선언되었는지 여부를 식별하는 동작과, 상기 주석이 선언되었다고 식별된 경우, 상기 제1 타입 객체와 상기 제2 타입 객체를 바인딩하고, 상기 바인딩 된 상기 제1 타입 객체와 상기 제2 타입 객체에 대해 모두 서명(sign)을 수행하는 동작을 포함할 수 있다.

본 개시의 일 실시예에 따르면, 지정된 주석(annotation)에 의하여 바인딩 된 포인터와 상수를 모두 서명하고, 리스토어 동작 수행 시, 서명된 포인터 값과 서명된 상수 값을 모두 선언된 포인터 값 및 선언된 상수 값과 각각 비교하여 리스토어 동작을 수행함으로써 제어 플로우의 무결성을 보장할 수 있는 효과가 발휘될 수 있다.

다양한 실시예들에 따른 효과는 상기 기술된 효과로 제한되지 아니하며, 다양한 효과가 본 개시 상에 내재되어 있음은 통상의 기술자에게 자명하다.

도 1은, 종래의 기술에 따른 제어 플로우 무결성을 검증하기 위한 예시 도면이다.
도 2는, 종래의 기술에 따른 제어 플로우 무결성을 검증하기 위한 동작에서 특정한 동작에 대해서 리플레이(replay) 공격이 수행되는 경우를 설명하기 위한 예시 도면이다.
도 3은, 종래의 기술에 따라 포인터와 상수가 선언되는 동작을 설명하기 위한 예시 도면이다.
도 4는, 종래의 기술에 따라 포인터를 서명하기 위한 선언문을 설명하기 위한 예시 도면이다.
도 5는, 종래의 기술에 따라 서명된 포인터에 대한 리스토어를 수행하기 위한 선언문을 설명하기 위한 예시 도면이다.
도 6은, 본 개시의 일 실시예에 따른 전자 장치를 설명하기 위한 예시 도면이다.
도 7은, 본 개시의 일 실시예에 따른 전자 장치의 동작 방법을 설명하기 위한 예시 도면이다.
도 8은, 본 개시의 일 실시예에 따라 포인터와 상수가 선언되는 동작을 설명하기 위한 예시 도면이다.
도 9는, 본 개시의 일 실시예에 따라 포인터를 서명하기 위한 선언문을 설명하기 위한 예시 도면이다.
도 10은, 본 개시의 일 실시예에 따라 서명된 포인터에 대한 리스토어를 수행하기 위한 선언문을 설명하기 위한 예시 도면이다.

도 6은, 다양한 실시예들에 따른, 네트워크 환경(600) 내의 전자 장치(601)의 블럭도이다. 도 6을 참조하면, 네트워크 환경(600)에서 전자 장치(601)는 제 1 네트워크(698)(예: 근거리 무선 통신 네트워크)를 통하여 전자 장치(602)와 통신하거나, 또는 제 2 네트워크(699)(예: 원거리 무선 통신 네트워크)를 통하여 전자 장치(604) 또는 서버(608)와 통신할 수 있다. 일실시예에 따르면, 전자 장치(601)는 서버(608)를 통하여 전자 장치(604)와 통신할 수 있다. 일실시예에 따르면, 전자 장치(601)는 프로세서(620), 메모리(630), 입력 장치(650), 음향 출력 장치(655), 표시 장치(660), 오디오 모듈(670), 센서 모듈(676), 인터페이스(677), 햅틱 모듈(679), 카메라 모듈(680), 전력 관리 모듈(688), 배터리(689), 통신 모듈(690), 가입자 식별 모듈(696), 또는 안테나 모듈(697)을 포함할 수 있다. 어떤 실시예에서는, 전자 장치(601)에는, 이 구성요소들 중 적어도 하나(예: 표시 장치(660) 또는 카메라 모듈(680))가 생략되거나, 하나 이상의 다른 구성 요소가 추가될 수 있다. 어떤 실시예에서는, 이 구성요소들 중 일부들은 하나의 통합된 회로로 구현될 수 있다. 예를 들면, 센서 모듈(676)(예: 지문 센서, 홍채 센서, 또는 조도 센서)은 표시 장치(660)(예: 디스플레이)에 임베디드된 채 구현될 수 있다

프로세서(620)는, 예를 들면, 소프트웨어(예: 프로그램(640))를 실행하여 프로세서(620)에 연결된 전자 장치(601)의 적어도 하나의 다른 구성요소(예: 하드웨어 또는 소프트웨어 구성요소)을 제어할 수 있고, 다양한 데이터 처리 또는 연산을 수행할 수 있다. 일실시예에 따르면, 데이터 처리 또는 연산의 적어도 일부로서, 프로세서(620)는 다른 구성요소(예: 센서 모듈(676) 또는 통신 모듈(690))로부터 수신된 명령 또는 데이터를 휘발성 메모리(632)에 로드하고, 휘발성 메모리(632)에 저장된 명령 또는 데이터를 처리하고, 결과 데이터를 비휘발성 메모리(634)에 저장할 수 있다. 일실시예에 따르면, 프로세서(620)는 메인 프로세서(621)(예: 중앙 처리 장치 또는 어플리케이션 프로세서), 및 이와는 독립적으로 또는 함께 운영 가능한 보조 프로세서(623)(예: 그래픽 처리 장치, 이미지 시그널 프로세서, 센서 허브 프로세서, 또는 커뮤니케이션 프로세서)를 포함할 수 있다. 추가적으로 또는 대체적으로, 보조 프로세서(623)은 메인 프로세서(621)보다 저전력을 사용하거나, 또는 지정된 기능에 특화되도록 설정될 수 있다. 보조 프로세서(623)는 메인 프로세서(621)와 별개로, 또는 그 일부로서 구현될 수 있다.

보조 프로세서(623)는, 예를 들면, 메인 프로세서(621)가 인액티브(예: 슬립) 상태에 있는 동안 메인 프로세서(621)를 대신하여, 또는 메인 프로세서(621)가 액티브(예: 어플리케이션 실행) 상태에 있는 동안 메인 프로세서(621)와 함께, 전자 장치(601)의 구성요소들 중 적어도 하나의 구성요소(예: 표시 장치(660), 센서 모듈(676), 또는 통신 모듈(690))와 관련된 기능 또는 상태들의 적어도 일부를 제어할 수 있다. 일실시예에 따르면, 보조 프로세서(623)(예: 이미지 시그널 프로세서 또는 커뮤니케이션 프로세서)는 기능적으로 관련 있는 다른 구성 요소(예: 카메라 모듈(680) 또는 통신 모듈(690))의 일부로서 구현될 수 있다.

메모리(630)는, 전자 장치(601)의 적어도 하나의 구성요소(예: 프로세서(620) 또는 센서모듈(676))에 의해 사용되는 다양한 데이터를 저장할 수 있다. 데이터는, 예를 들어, 소프트웨어(예: 프로그램(640)) 및, 이와 관련된 명령에 대한 입력 데이터 또는 출력 데이터를 포함할 수 있다. 메모리(630)는, 휘발성 메모리(632) 또는 비휘발성 메모리(634)를 포함할 수 있다.

프로그램(640)은 메모리(630)에 소프트웨어로서 저장될 수 있으며, 예를 들면, 운영 체제(642), 미들 웨어(644) 또는 어플리케이션(646)을 포함할 수 있다.

입력 장치(650)는, 전자 장치(601)의 구성요소(예: 프로세서(620))에 사용될 명령 또는 데이터를 전자 장치(601)의 외부(예: 사용자)로부터 수신할 수 있다. 입력 장치(650)은, 예를 들면, 마이크, 마우스, 키보드, 또는 디지털 펜(예:스타일러스 펜)을 포함할 수 있다.

음향 출력 장치(655)는 음향 신호를 전자 장치(601)의 외부로 출력할 수 있다. 음향 출력 장치(655)는, 예를 들면, 스피커 또는 리시버를 포함할 수 있다. 스피커는 멀티미디어 재생 또는 녹음 재생과 같이 일반적인 용도로 사용될 수 있고, 리시버는 착신 전화를 수신하기 위해 사용될 수 있다. 일실시예에 따르면, 리시버는 스피커와 별개로, 또는 그 일부로서 구현될 수 있다.

표시 장치(660)는 전자 장치(601)의 외부(예: 사용자)로 정보를 시각적으로 제공할 수 있다. 표시 장치(660)은, 예를 들면, 디스플레이, 홀로그램 장치, 또는 프로젝터 및 해당 장치를 제어하기 위한 제어 회로를 포함할 수 있다. 일실시예에 따르면, 표시 장치(660)는 터치를 감지하도록 설정된 터치 회로(touch circuitry), 또는 상기 터치에 의해 발생되는 힘의 세기를 측정하도록 설정된 센서 회로(예: 압력 센서)를 포함할 수 있다.

오디오 모듈(670)은 소리를 전기 신호로 변환시키거나, 반대로 전기 신호를 소리로 변환시킬 수 있다. 일실시예에 따르면, 오디오 모듈(670)은, 입력 장치(650) 를 통해 소리를 획득하거나, 음향 출력 장치(655), 또는 전자 장치(601)와 직접 또는 무선으로 연결된 외부 전자 장치(예: 전자 장치(602)) (예: 스피커 또는 헤드폰))를 통해 소리를 출력할 수 있다.

센서 모듈(676)은 전자 장치(601)의 작동 상태(예: 전력 또는 온도), 또는 외부의 환경 상태(예: 사용자 상태)를 감지하고, 감지된 상태에 대응하는 전기 신호 또는 데이터 값을 생성할 수 있다. 일실시예에 따르면, 센서 모듈(676)은, 예를 들면, 제스처 센서, 자이로 센서, 기압 센서, 마그네틱 센서, 가속도 센서, 그립 센서, 근접 센서, 컬러 센서, IR(infrared) 센서, 생체 센서, 온도 센서, 습도 센서, 또는 조도 센서를 포함할 수 있다.

인터페이스(677)는 전자 장치(601)이 외부 전자 장치(예: 전자 장치(602))와 직접 또는 무선으로 연결되기 위해 사용될 수 있는 하나 이상의 지정된 프로토콜들을 지원할 수 있다. 일실시예에 따르면, 인터페이스(677)는, 예를 들면, HDMI(high definition multimedia interface), USB(universal serial bus) 인터페이스, SD카드 인터페이스, 또는 오디오 인터페이스를 포함할 수 있다.

연결 단자(678)는, 그를 통해서 전자 장치(601)가 외부 전자 장치(예: 전자 장치(602))와 물리적으로 연결될 수 있는 커넥터를 포함할 수 있다. 일실시예에 따르면, 연결 단자(678)은, 예를 들면, HDMI 커넥터, USB 커넥터, SD 카드 커넥터, 또는 오디오 커넥터(예: 헤드폰 커넥터)를 포함할 수 있다.

햅틱 모듈(679)은 전기적 신호를 사용자가 촉각 또는 운동 감각을 통해서 인지할 수 있는 기계적인 자극(예: 진동 또는 움직임) 또는 전기적인 자극으로 변환할 수 있다. 일실시예에 따르면, 햅틱 모듈(679)은, 예를 들면, 모터, 압전 소자, 또는 전기 자극 장치를 포함할 수 있다.

카메라 모듈(680)은 정지 영상 및 동영상을 촬영할 수 있다. 일실시예에 따르면, 카메라 모듈(680)은 하나 이상의 렌즈들, 이미지 센서들, 이미지 시그널 프로세서들, 또는 플래시들을 포함할 수 있다.

전력 관리 모듈(688)은 전자 장치(601)에 공급되는 전력을 관리할 수 있다. 일실시예에 따르면, 전력 관리 모듈(388)은, 예를 들면, PMIC(power management integrated circuit)의 적어도 일부로서 구현될 수 있다.

배터리(689)는 전자 장치(601)의 적어도 하나의 구성 요소에 전력을 공급할 수 있다. 일실시예에 따르면, 배터리(689)는, 예를 들면, 재충전 불가능한 1차 전지, 재충전 가능한 2차 전지 또는 연료 전지를 포함할 수 있다.

통신 모듈(690)은 전자 장치(601)와 외부 전자 장치(예: 전자 장치(602), 전자 장치(604), 또는 서버(608))간의 직접(예: 유선) 통신 채널 또는 무선 통신 채널의 수립, 및 수립된 통신 채널을 통한 통신 수행을 지원할 수 있다. 통신 모듈(690)은 프로세서(620)(예: 어플리케이션 프로세서)와 독립적으로 운영되고, 직접(예: 유선) 통신 또는 무선 통신을 지원하는 하나 이상의 커뮤니케이션 프로세서를 포함할 수 있다. 일실시예에 따르면, 통신 모듈(690)은 무선 통신 모듈(692)(예: 셀룰러 통신 모듈, 근거리 무선 통신 모듈, 또는 GNSS(global navigation satellite system) 통신 모듈) 또는 유선 통신 모듈(694)(예: LAN(local area network) 통신 모듈, 또는 전력선 통신 모듈)을 포함할 수 있다. 이들 통신 모듈 중 해당하는 통신 모듈은 제 1 네트워크(698)(예: 블루투스, WiFi direct 또는 IrDA(infrared data association) 같은 근거리 통신 네트워크) 또는 제 2 네트워크(699)(예: 셀룰러 네트워크, 인터넷, 또는 컴퓨터 네트워크(예: LAN 또는 WAN)와 같은 원거리 통신 네트워크)를 통하여 외부 전자 장치와 통신할 수 있다. 이런 여러 종류의 통신 모듈들은 하나의 구성 요소(예: 단일 칩)으로 통합되거나, 또는 서로 별도의 복수의 구성 요소들(예: 복수 칩들)로 구현될 수 있다. 무선 통신 모듈(692)은 가입자 식별 모듈(696)에 저장된 가입자 정보(예: 국제 모바일 가입자 식별자(IMSI))를 이용하여 제 1 네트워크(698) 또는 제 2 네트워크(699)와 같은 통신 네트워크 내에서 전자 장치(601)를 확인 및 인증할 수 있다.

안테나 모듈(697)은 신호 또는 전력을 외부(예: 외부 전자 장치)로 송신하거나 외부로부터 수신할 수 있다. 일실시예에 따르면, 안테나 모듈은 서브스트레이트(예: PCB) 위에 형성된 도전체 또는 도전성 패턴으로 이루어진 방사체를 포함하는 하나의 안테나를 포함할 수 있다. 일실시예에 따르면, 안테나 모듈(697)은 복수의 안테나들을 포함할 수 있다. 이런 경우, 제 1 네트워크(698) 또는 제 2 네트워크(699)와 같은 통신 네트워크에서 사용되는 통신 방식에 적합한 적어도 하나의 안테나가, 예를 들면, 통신 모듈(690)에 의하여 상기 복수의 안테나들로부터 선택될 수 있다. 신호 또는 전력은 상기 선택된 적어도 하나의 안테나를 통하여 통신 모듈(690)과 외부 전자 장치 간에 송신되거나 수신될 수 있다. 어떤 실시예에 따르면, 방사체 이외에 다른 부품(예: RFIC)이 추가로 안테나 모듈(697)의 일부로 형성될 수 있다.

상기 구성요소들 중 적어도 일부는 주변 기기들간 통신 방식(예: 버스, GPIO(general purpose input and output), SPI(serial peripheral interface), 또는 MIPI(mobile industry processor interface))를 통해 서로 연결되고 신호(예: 명령 또는 데이터)를 상호간에 교환할 수 있다.

일실시예에 따르면, 명령 또는 데이터는 제 2 네트워크(699)에 연결된 서버(608)를 통해서 전자 장치(601)와 외부의 전자 장치(604)간에 송신 또는 수신될 수 있다. 전자 장치(602, 604) 각각은 전자 장치(601)와 동일한 또는 다른 종류의 장치일 수 있다. 일실시예에 따르면, 전자 장치(601)에서 실행되는 동작들의 전부 또는 일부는 외부 전자 장치들(602, 604, or 608) 중 하나 이상의 외부 장치들에서 실행될 수 있다. 예를 들면, 전자 장치(601)가 어떤 기능이나 서비스를 자동으로, 또는 사용자 또는 다른 장치로부터의 요청에 반응하여 수행해야 할 경우에, 전자 장치(601)는 기능 또는 서비스를 자체적으로 실행시키는 대신에 또는 추가적으로, 하나 이상의 외부 전자 장치들에게 그 기능 또는 그 서비스의 적어도 일부를 수행하라고 요청할 수 있다. 상기 요청을 수신한 하나 이상의 외부 전자 장치들은 요청된 기능 또는 서비스의 적어도 일부, 또는 상기 요청과 관련된 추가 기능 또는 서비스를 실행하고, 그 실행의 결과를 전자 장치(601)로 전달할 수 있다. 전자 장치(601)는 상기 결과를, 그대로 또는 추가적으로 처리하여, 상기 요청에 대한 응답의 적어도 일부로서 제공할 수 있다.. 이를 위하여, 예를 들면, 클라우드 컴퓨팅, 분산 컴퓨팅, 또는 클라이언트-서버 컴퓨팅 기술이 이용될 수 있다.

도 7은, 본 개시의 일 실시예에 따른 전자 장치(601)의 동작 방법을 설명하기 위한 예시 도면이다.

도 7을 참조하면, 본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 710에서, 포인터 및 상수를 선언할 수 있다. 본 개시의 일 실시예에 따르면, 포인터의 선언은 예시적으로 도 8에 도시된 바와 같이 "handler_t handler"와 같은 선언문을 통해 선언될 수 있다. 본 개시의 일 실시예에 따르면, 상수의 선언은 예시적으로 도 8에 도시된 바와 같이 "const char *name;"과 같은 선언문을 통해 선언될 수 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는 지정된 구조체의 선언부(part)에 포인터 및 상수를 바인딩(binding)하는 주석이 선언되었는지 여부를 판단할 수 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는 예시적으로 "attribute_(objbind(handler, name));"과 같은 주석이 선언되어 있을 경우, 지정된 구조체의 선언부(part)에 포인터 및 상수를 바인딩하는 주석이 선언되었다고 판단할 수 있다.

본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 720에서, 선언된 주석에 따라 포인터 및 상수를 바인딩 할 수 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는 상수를 포인터에 연관지음으로써 포인터 및 상수를 바인딩 할 수 있다. 본 개시의 일 실시예에 따른 바인딩은 정적 바인딩 또는 동적 바인딩 중 적어도 하나의 바인딩을 포함할 수 있다.

본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 730에서, 서명 요청에 따라, 포인터 및 상수에 대한 서명을 수행할 수 있다. 이와 같은 본 개시의 동작은 도 9에서 "h->handler = COMBINED_POINTER_SIGN(h -> handler, name);"와 같은 코드로서 기술되어 있다. 본 개시의 일 실시예에 따르면, 동작 730은 주석의 선언에 따라 컴파일러에 의해 수행(다른 말로, 코드의 선언 없이 자동적으로)될 수 있다. 또는, 동작 730을 수행하기 위한 코드는 개발자(developer)에 의하여 미리 선언되어 있을 수도 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는, 도 9에 예시적으로 도시된 바와 같이 "Int request(const char *name, irq_handler_t handler)" 함수를 식별하면 이를 바인딩 된 포인터 및 상수에 대한 서명 요청으로서 식별할 수 있다.

본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 740에서, 리스토어 요청에 따라, 서명된 포인터 및 서명된 상수를 선언된 포인터 및 선언된 상수와 각각 비교할 수 있다. 보다 구체적으로, 본 개시의 일 실시예에 따른 전자 장치(601)는, "attribute_(objbind(handler, name));"에서의 "handler" 및 "name"과, "h->handler = COMBINED_POINTER_SIGN(h -> handler, name);"에서의 "handler" 및 "name"을 각각 비교할 수 있다. 이와 같은 본 개시의 동작은 도 10에서 "h->handler=CHECK_COMBINED_POINTER_AND_RESTORE (h->handler, name)"와 같은 코드로서 기술되어 있다. 본 개시의 일 실시예에 따르면, 동작 740은 주석의 선언에 따라 컴파일러에 의해 수행(다른 말로, 코드의 선언 없이 자동적으로)될 수 있다. 또는, 동작 740을 수행하기 위한 코드는 개발자(developer)에 의하여 미리 선언되어 있을 수도 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는, 도 10에 예시적으로 도시된 바와 같이 "void dispatcher(const char *name)" 함수를 식별하면 이를 리스토어 요청으로서 식별할 수 있다.

본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 750에서, 각각의 값이 일치하는지 여부를 판단할 수 있다. 본 개시의 일 실시예에 따른 전자 장치(601)는, 동작 710에서 선언된 포인터 및 선언된 상수와, 동작 730의 서명된 포인터 및 서명된 상수가 각각 동일한 값을 가지는 경우, 동작 760에서, 리스토어 동작을 수행하고 "리스토어 성공"으로 처리(process)할 수 있다. 본 개시의 일 실시예에 따른 전자 장치(602)는, 동작 710에서 선언된 포인터 및 상수와 동작 730의 서명된 포인터 및 서명된 상수 중 적어도 하나가 동일한 값을 가지는 포인터 및/또는 상수가 아닌 경우, 동작 770에서, 리스토어 동작을 수행하지 않고 "리스토어 실패"로 처리할 수 있다. 이와 같이, 본 개시의 일 실시예에 따른 전자 장치(602)는, 종래의 기술과 달리, 포인터 및 상수 값을 모두 비교하고, 비교 결과에 기반하여 리스토어 동작을 수행함으로써 제어 플로우 무결성을 확보할 수 있는 효과가 발휘될 수 있다.

본 개시에 개시된 다양한 실시예들에 따른 전자 장치는 다양한 형태의 장치가 될 수 있다. 전자 장치는, 예를 들면, 휴대용 통신 장치 (예: 스마트폰), 컴퓨터 장치, 휴대용 멀티미디어 장치, 휴대용 의료 기기, 카메라, 웨어러블 장치, 또는 가전 장치를 포함할 수 있다. 본 개시의 실시예에 따른 전자 장치는 전술한 기기들에 한정되지 않는다.

본 개시의 다양한 실시예들 및 이에 사용된 용어들은 본 개시에 기재된 기술적 특징들을 특정한 실시예들로 한정하려는 것이 아니며, 해당 실시예의 다양한 변경, 균등물, 또는 대체물을 포함하는 것으로 이해되어야 한다. 도면의 설명과 관련하여, 유사한 또는 관련된 구성요소에 대해서는 유사한 참조 부호가 사용될 수 있다. 아이템에 대응하는 명사의 단수 형은 관련된 문맥상 명백하게 다르게 지시하지 않는 한, 상기 아이템 한 개 또는 복수 개를 포함할 수 있다. 본 개시에서, "A 또는 B", "A 및 B 중 적어도 하나","A 또는 B 중 적어도 하나,""A, B 또는 C," "A, B 및 C 중 적어도 하나,"및 "A, B, 또는 C 중 적어도 하나"와 같은 문구들 각각은 그 문구들 중 해당하는 문구에 함께 나열된 항목들 중 어느 하나, 또는 그들의 모든 가능한 조합을 포함할 수 있다. "제 1", "제 2", 또는 "첫째" 또는 "둘째"와 같은 용어들은 단순히 해당 구성요소를 다른 해당 구성요소와 구분하기 위해 사용될 수 있으며, 해당 구성요소들을 다른 측면(예: 중요성 또는 순서)에서 한정하지 않는다. 어떤(예: 제 1) 구성요소가 다른(예: 제 2) 구성요소에, "기능적으로" 또는 "통신적으로"라는 용어와 함께 또는 이런 용어 없이, "커플드" 또는 "커넥티드"라고 언급된 경우, 그것은 상기 어떤 구성요소가 상기 다른 구성요소에 직접적으로(예: 유선으로), 무선으로, 또는 제 3 구성요소를 통하여 연결될 수 있다는 것을 의미한다.

본 개시에서 사용된 용어 "모듈"은 하드웨어, 소프트웨어 또는 펌웨어로 구현된 유닛을 포함할 수 있으며, 예를 들면, 로직, 논리 블록, 부품, 또는 회로 등의 용어와 상호 호환적으로 사용될 수 있다. 모듈은, 일체로 구성된 부품 또는 하나 또는 그 이상의 기능을 수행하는, 상기 부품의 최소 단위 또는 그 일부가 될 수 있다. 예를 들면, 일실시예에 따르면, 모듈은 ASIC(application-specific integrated circuit)의 형태로 구현될 수 있다.

본 개시의 다양한 실시예들은 기기(machine)(예: 전자 장치(601)) 의해 읽을 수 있는 저장 매체(storage medium)(예: 내장 메모리(636) 또는 외장 메모리(638))에 저장된 하나 이상의 명령어들을 포함하는 소프트웨어(예: 프로그램(640))로서 구현될 수 있다. 예를 들면, 기기(예: 전자 장치(601))의 프로세서(예: 프로세서(620))는, 저장 매체로부터 저장된 하나 이상의 명령어들 중 적어도 하나의 명령을 호출하고, 그것을 실행할 수 있다. 이것은 기기가 상기 호출된 적어도 하나의 명령어에 따라 적어도 하나의 기능을 수행하도록 운영되는 것을 가능하게 한다. 상기 하나 이상의 명령어들은 컴파일러에 의해 생성된 코드 또는 인터프리터에 의해 실행될 수 있는 코드를 포함할 수 있다. 기기로 읽을 수 있는 저장매체 는, 비일시적(non-transitory) 저장매체의 형태로 제공될 수 있다. 여기서, ‘비일시적’은 저장매체가 실재(tangible)하는 장치이고, 신호(signal)(예: 전자기파)를 포함하지 않는다는 것을 의미할 뿐이며, 이 용어는 데이터가 저장매체에 반영구적으로 저장되는 경우와 임시적으로 저장되는 경우를 구분하지 않는다.

일실시예에 따르면, 본 개시에 개시된 다양한 실시예들에 따른 방법은 컴퓨터 프로그램 제품(computer program product)에 포함되어 제공될 수 있다. 컴퓨터 프로그램 제품은 상품으로서 판매자 및 구매자 간에 거래될 수 있다. 컴퓨터 프로그램 제품은 기기로 읽을 수 있는 저장 매체(예: compact disc read only memory (CD-ROM))의 형태로 배포되거나, 또는 어플리케이션 스토어(예: 플레이 스토어^TM)를 통해 또는 두개의 사용자 장치들(예: 스마트폰들) 간에 직접, 온라인으로 배포(예: 다운로드 또는 업로드)될 수 있다. 온라인 배포의 경우에, 컴퓨터 프로그램 제품의 적어도 일부는 제조사의 서버, 어플리케이션 스토어의 서버, 또는 중계 서버의 메모리와 같은 기기로 읽을 수 있는 저장 매체에 적어도 일시 저장되거나, 임시적으로 생성될 수 있다.

다양한 실시예들에 따르면, 상기 기술한 구성요소들의 각각의 구성요소(예: 모듈 또는 프로그램)는 단수 또는 복수의 개체를 포함할 수 있다. 다양한 실시예들에 따르면, 전술한 해당 구성요소들 중 하나 이상의 구성요소들 또는 동작들이 생략되거나, 또는 하나 이상의 다른 구성요소들 또는 동작들이 추가될 수 있다. 대체적으로 또는 추가적으로, 복수의 구성요소들(예: 모듈 또는 프로그램)은 하나의 구성요소로 통합될 수 있다. 이런 경우, 통합된 구성요소는 상기 복수의 구성요소들 각각의 구성요소의 하나 이상의 기능들을 상기 통합 이전에 상기 복수의 구성요소들 중 해당 구성요소에 의해 수행되는 것과 동일 또는 유사하게 수행할 수 있다. 다양한 실시예들에 따르면, 모듈, 프로그램 또는 다른 구성요소에 의해 수행되는 동작들은 순차적으로, 병렬적으로, 반복적으로, 또는 휴리스틱하게 실행되거나, 상기 동작들 중 하나 이상이 다른 순서로 실행되거나, 생략되거나, 또는 하나 이상의 다른 동작들이 추가될 수 있다.

Claims (20)

1. 전자 장치에 있어서,
   메모리, 및
   적어도 하나의 프로세서를 포함하고, 상기 적어도 하나의 프로세서는,
   제1 타입 객체와 제2 타입 객체를 바인딩(binding)하는 주석(annotation)이 선언되었는지 여부를 식별하고,
   상기 주석이 선언되었다고 식별된 경우, 상기 제1 타입 객체와 상기 제2 타입 객체를 바인딩하고, 상기 바인딩 된 상기 제1 타입 객체와 상기 제2 타입 객체에 대해 모두 서명(sign)을 수행하도록 설정된 것을 특징으로 하는, 전자 장치.
2. 제1항에 있어서,
   상기 제1 타입 객체는 포인터(pointer)를 포함하고, 상기 제2 타입 객체는 상수(constant)를 포함하는 것을 특징으로 하는, 전자 장치.
3. 제1항에 있어서,
   상기 주석은, 상기 제2 타입 객체가 선언된 이후에 선언되는 것을 특징으로 하는, 전자 장치.
4. 제1항에 있어서,
   상기 주석은 objbind(handler, name)으로서 선언되고, handler는 상기 제1 타입 객체를 의미하고, name은 상기 제2 타입 객체를 의미하는 것을 특징으로 하는, 전자 장치.
5. 제1항에 있어서,
   상기 제2 타입 객체는, 상기 제1 타입 객체에 대한 상기 서명이 수행되는 경우에 함께 상기 서명이 수행되는 것을 특징으로 하는, 전자 장치.
6. 제1항에 있어서,
   상기 적어도 하나의 프로세서는, 상기 서명된 제1 타입 객체 및 상기 서명된 제2 타입 객체에 대한 리스토어(restore) 명령에 따라 상기 서명된 제1 타입 객체 및 상기 서명된 제2 타입 객체를 리스토어하도록 설정된 것을 특징으로 하는, 전자 장치.
7. 제1항에 있어서,
   상기 적어도 하나의 프로세서는, 상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하는지 여부를 판단하도록 설정된 것을 특징으로 하는, 전자 장치.
8. 제7항에 있어서,
   상기 적어도 하나의 프로세서는, 상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하는 경우 상기 리스토어를 수행하도록 설정된 것을 특징으로 하는, 전자 장치.
9. 제7항에 있어서,
   상기 적어도 하나의 프로세서는, 상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하지 않는 경우 상기 리스토어를 실패로서 처리하도록 설정된 것을 특징으로 하는, 전자 장치.
10. 제7항에 있어서,
    상기 적어도 하나의 프로세서는, 상기 바인딩 된 제1 타입 객체에 의하여 지시되는 값과 상기 서명된 제1 타입 객체에 의하여 지시되는 값이 일치하는 경우, 상기 리스토어를 수행하도록 설정된 것을 특징으로 하는, 전자 장치.
11. 전자 장치를 제어하는 방법에 있어서,
    제1 타입 객체와 제2 타입 객체를 바인딩(binding)하는 주석(annotation)이 선언되었는지 여부를 식별하는 동작과,
    상기 주석이 선언되었다고 식별된 경우, 상기 제1 타입 객체와 상기 제2 타입 객체를 바인딩하고, 상기 바인딩 된 상기 제1 타입 객체와 상기 제2 타입 객체에 대해 모두 서명(sign)을 수행하는 동작을 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
12. 제11항에 있어서,
    상기 제1 타입 객체는 포인터(pointer)를 포함하고, 상기 제2 타입 객체는 상수(constant)를 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
13. 제11항에 있어서,
    상기 주석은, 상기 제2 타입 객체가 선언된 이후에 선언되는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
14. 제11항에 있어서,
    상기 주석은 objbind(handler, name)으로서 선언되고, handler는 상기 제1 타입 객체를 의미하고, name은 상기 제2 타입 객체를 의미하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
15. 제11항에 있어서,
    상기 제2 타입 객체는, 상기 제1 타입 객체에 대한 상기 서명이 수행되는 경우에 함께 상기 서명이 수행되는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
16. 제11항에 있어서,
    상기 서명된 제1 타입 객체 및 상기 서명된 제2 타입 객체에 대한 리스토어(restore) 명령에 따라 상기 서명된 제1 타입 객체 및 상기 서명된 제2 타입 객체를 리스토어하는 동작을 더 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
17. 제11항에 있어서,
    상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하는지 여부를 판단하는 동작을 더 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
18. 제17항에 있어서,
    상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하는 경우 상기 리스토어를 수행하는 동작을 더 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
19. 제17항에 있어서,
    상기 바인딩 된 제2 타입 객체에 의하여 지시되는 값과 상기 서명된 제2 타입 객체에 의하여 지시되는 값이 서로 일치하지 않는 경우 상기 리스토어를 실패로서 처리하는 동작을 더 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.
20. 제17항에 있어서,
    상기 바인딩 된 제1 타입 객체에 의하여 지시되는 값과 상기 서명된 제1 타입 객체에 의하여 지시되는 값이 일치하는 경우, 상기 리스토어를 수행하는 동작을 더 포함하는 것을 특징으로 하는, 전자 장치를 제어하는 방법.

Images