Robert Allen Mccall

US Patent:

8561045, Oct 15, 2013

Filed:

Jul 30, 2010

Appl. No.:

12/847904

Inventors:

Victor Leonel Hernandez Porras - San Francisco CA, US
Christopher Arthur Lattner - San Jose CA, US
Jia-Hong Chen - Cupertino CA, US
Eric Marshall Christopher - Los Gatos CA, US
Roger Scott Hoover - Cheyenne WY, US
Francois Jouaux - Woodside CA, US
Robert John McCall - San Francisco CA, US
Thomas John O'Brien - San Jose CA, US
Pratik Solanki - Mountain View CA, US

Assignee:

Apple Inc. - Cupertino CA

International Classification:

G06F 9/45

US Classification:

717159, 717151

Abstract:

Techniques for processing computer code are disclosed. In one example, an indication that a computer code is to begin execution at a portion of code other than a starting portion of the code is received, and a runtime state associated with the portion of the code at which execution is to begin is constructed. In some examples, execution of the portion of code is initiated. In some examples, a program counter associated with the portion of the code is used to initiate execution of the code. In some examples, the computer code comprises a fallback code associated with a previously executing code.

US Patent:

20120030653, Feb 2, 2012

Filed:

Jul 30, 2010

Appl. No.:

12/847925

Inventors:

Victor Leonel Hernandez Porras - San Francisco CA, US
Christopher Arthur Lattner - San Jose CA, US
Jia-Hong Chen - Cupertino CA, US
Eric Marshall Christopher - Los Gatos CA, US
Roger Scott Hoover - Cheyenne WY, US
Francois Jouaux - Woodside CA, US
Robert John McCall - San Francisco CA, US
Thomas John O'Brien - San Jose CA, US
Pratik Solanki - Mountain View CA, US

Assignee:

APPLE INC. - Cupertino CA

International Classification:

G06F 9/44

US Classification:

717124

Abstract:

Techniques for processing source code written in a traditionally interpreted language such as JavaScript, or another dynamic and/or interpreted language, are disclosed. In one example, compiled code associated with the source code is constructed and executed. An assumption on which a specific aspect of the compiled code is based (e.g., an optimization) is tested at a checkpoint of the compiled code. A roll over to fallback code is performed if the test indicates the assumption is not true.

US Patent:

20120030661, Feb 2, 2012

Filed:

Jul 30, 2010

Appl. No.:

12/847945

Inventors:

Victor Leonel Hernandez Porras - San Francisco CA, US
Christopher Arthur Lattner - San Jose CA, US
Jia-Hong Chen - Cupertino CA, US
Eric Marshall Christopher - Los Gatos CA, US
Roger Scott Hoover - Cheyenne WY, US
Francois Jouaux - Woodside CA, US
Robert John McCall - San Francisco CA, US
Thomas John O'Brien - San Jose CA, US
Pratik Solanki - Mountain View CA, US

Assignee:

APPLE INC. - Cupertino CA

International Classification:

G06F 9/45

US Classification:

717153

Abstract:

Observation and analysis based optimization of software code is disclosed. An expected value is chosen for a dynamic attribute that cannot be determined, prior to execution of the associated software code, to be guaranteed to have that expected value at runtime. An optimized version of the software code is generated, including one or more optimizations based on an assumption that the dynamic attribute will have the expected value. Non-exhaustive examples of a dynamic attribute include a variable type; a location in memory; a location in which a global object, property, or variable is stored; the contents of a global function or method; and a value of a global property or variable. A check is performed during execution of the optimized version of the software code, prior to executing the portion that has been optimized based on the assumption, to verify that the dynamic attribute has the expected value. In the event that it is determined at runtime that the dynamic attribute does not have the expected value, execution reverts to backup code that is not based on the assumption that dynamic attribute will have the expected value.

US Patent:

20200082066, Mar 12, 2020

Filed:

Aug 13, 2019

Appl. No.:

16/539356

Inventors:

- Cupertino CA, US
Devon S. Andrade - Santa Clara CA, US
Jeremy C. Andrus - Sunnyvale CA, US
Ahmed Bougacha - San Jose CA, US
Peter Cooper - San Jose CA, US
Jacques Fortier - San Francisco CA, US
Louis G. Gerbarg - San Francisco CA, US
James H. Grosbach - San Jose CA, US
Robert J. McCall - New York NY, US
Daniel A. Steffen - San Francisco CA, US
Justin R. Unger - San Jose CA, US

International Classification:

G06F 21/44
H04L 9/32
G06F 15/78

Abstract:

Embodiments described herein enable the interoperability between processes configured for pointer authentication and processes that are not configured for pointer authentication. Enabling the interoperability between such processes enables essential libraries, such as system libraries, to be compiled with pointer authentication, while enabling those libraries to still be used by processes that have not yet been compiled or configured to use pointer authentication.

US Patent:

20200082069, Mar 12, 2020

Filed:

Oct 25, 2019

Appl. No.:

16/664714

Inventors:

- Cupertino CA, US
Devon S. Andrade - Santa Clara CA, US
Jeremy C. Andrus - Sunnyvale CA, US
Ahmed Bougacha - San Jose CA, US
Peter Cooper - San Jose CA, US
Jacques Fortier - San Francisco CA, US
Louis G. Gerbarg - San Francisco CA, US
James H. Grosbach - San Jose CA, US
Robert J. McCall - New York NY, US
Daniel A. Steffen - San Francisco CA, US
Justin R. Unger - San Jose CA, US

International Classification:

G06F 21/44
H04L 9/32
G06F 15/78

Abstract:

Embodiments described herein enable the interoperability between processes configured for pointer authentication and processes that are not configured for pointer authentication. Enabling the interoperability between such processes enables essential libraries, such as system libraries, to be compiled with pointer authentication, while enabling those libraries to still be used by processes that have not yet been compiled or configured to use pointer authentication.

US Patent:

20200082070, Mar 12, 2020

Filed:

Oct 25, 2019

Appl. No.:

16/664719

Inventors:

- Cupertino CA, US
Devon S. Andrade - Santa Clara CA, US
Jeremy C. Andrus - Sunnyvale CA, US
Ahmed Bougacha - San Jose CA, US
Peter Cooper - San Jose CA, US
Jacques Fortier - San Francisco CA, US
Louis G. Gerbarg - San Francisco CA, US
James H. Grosbach - San Jose CA, US
Robert J. McCall - New York NY, US
Daniel A. Steffen - San Francisco CA, US
Justin R. Unger - San Jose CA, US

International Classification:

G06F 21/44
H04L 9/32
G06F 15/78

Abstract:

Embodiments described herein enable the interoperability between processes configured for pointer authentication and processes that are not configured for pointer authentication. Enabling the interoperability between such processes enables essential libraries, such as system libraries, to be compiled with pointer authentication, while enabling those libraries to still be used by processes that have not yet been compiled or configured to use pointer authentication.

US Patent:

20160299747, Oct 13, 2016

Filed:

Apr 13, 2016

Appl. No.:

15/098082

Inventors:

- Cupertino CA, US
Douglas Paul Gregor - San Jose CA, US
Theodore Merrell Kremenek - San Jose CA, US
Robert John McCall - San Francisco CA, US
Joe Groff - San Jose CA, US

International Classification:

G06F 9/45
G06F 21/57

Abstract:

In one embodiment, an improved programming system and language for application development is provided that combines elements of the C and Objective-C languages without the constraints imposed by a requirement to maintain compatibility with the C language. The language provides the functionality of the C language compatibility in certain areas to improve the inherent safety of software written in the language. The new language includes default safety considerations such as bounds and overflow checking.