Invention Grant
- Patent Title: Methods and apparatuses for automatic type checking via poisoned pointers
- Patent Title (中): 通过中毒指针自动检查的方法和装置
-
Application No.: US13719068Application Date: 2012-12-18
-
Publication No.: US09003384B2Publication Date: 2015-04-07
- Inventor: Filip J. Pizlo
- Applicant: Apple Inc.
- Applicant Address: US CA Cupertino
- Assignee: Apple Inc.
- Current Assignee: Apple Inc.
- Current Assignee Address: US CA Cupertino
- Agency: Blakely, Sokoloff, Taylor & Zafman LLP
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44 ; G06F11/36 ; G06F9/455

Abstract:
A method and an apparatus that modify pointer values pointing to typed data with type information are described. The type information can be automatically checked against the typed data leveraging hardware based safety check mechanisms when performing memory access operations to the typed data via the modified pointer values. As a result, hardware built in logic can be used for a broad class of programming language safety check when executing software codes using modified pointers that are subject to the safety check without executing compare and branch instructions in the software codes.
Public/Granted literature
- US20130205285A1 METHODS AND APPARATUSES FOR AUTOMATIC TYPE CHECKING VIA POISONED POINTERS Public/Granted day:2013-08-08
Information query