Software Verification of Dynamically Generated Code

    公开(公告)号:US20220138313A1

    公开(公告)日:2022-05-05

    申请号:US17348576

    申请日:2021-06-15

    Applicant: Apple Inc.

    Abstract: In an embodiment, dynamically-generated code may be supported in the system by ensuring that the code either remains executing within a predefined region of memory or exits to one of a set of valid exit addresses. Software embodiments are described in which the dynamically-generated code is scanned prior to permitting execution of the dynamically-generated code to ensure that various criteria are met including exclusion of certain disallowed instructions and control of branch target addresses. Hardware embodiments are described in which the dynamically-generated code is permitted to executed but is monitored to ensure that the execution criteria are met.

    CONCURRENT ACCESSES OF DYNAMICALLY TYPED OBJECT DATA
    23.
    发明申请
    CONCURRENT ACCESSES OF DYNAMICALLY TYPED OBJECT DATA 有权
    动态类型对象数据的并发访问

    公开(公告)号:US20150067639A1

    公开(公告)日:2015-03-05

    申请号:US14231464

    申请日:2014-03-31

    Applicant: Apple Inc.

    Inventor: Filip J. Pizlo

    Abstract: A method and an apparatus for an enhanced object model to allow concurrent execution for program code generated from dynamic programming languages, such as JavaScript, are described. An index structure may be introduced to an object model representing a dynamically typed object in addition to a type structure and a data payload storing property or field values of the object. Elements of the index structure may point at corresponding property values as an indirection for accessing the object.

    Abstract translation: 描述了用于允许从动态编程语言(例如JavaScript)生成的程序代码的并发执行的增强对象模型的方法和装置。 索引结构可以被引入到表示动态类型对象的对象模型,除了类型结构和数据有效载荷存储对象的属性或字段值之外。 索引结构的元素可以指向相应的属性值作为访问对象的间接。

Patent Agency Ranking