Securely connecting isolated managed heaps

    公开(公告)号:US11972010B2

    公开(公告)日:2024-04-30

    申请号:US17387640

    申请日:2021-07-28

    CPC classification number: G06F21/6227 G06F9/449 G06F12/0238 G06F12/0253

    Abstract: A method may include generating, by a source isolate, an external object reference, passing, by the source isolate, the external object reference to a target isolate, storing, by the source isolate and in an exported reference table, an entry that maps the external object reference to an object stored in a heap of the source isolate, performing, by the target isolate, a task that accesses the object using the external object reference, receiving, by the source isolate and from a finalizer of the external object reference, a notification that the external object reference has become unreferenced, and in response to the notification, removing, by the source isolate, the entry from the exported reference table.

    DYNAMIC TAINT TRACKING IN ABSTRACT SYNTAX TREE INTERPRETERS

    公开(公告)号:US20220067172A1

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

    申请号:US17011637

    申请日:2020-09-03

    Abstract: A method may include determining that a non-constant value of a variable corresponding to a variable node of the abstract syntax tree flows into an operator node in the abstract syntax tree. The method may further include adding, to the abstract syntax tree, a check taint node including functionality to: make a taint status determination that the non-constant value is tainted, and return the non-constant value to the operator node. The operator node generates a result value by executing an operator using the non-constant value. The method may further include adding, to the abstract syntax tree, a set taint node that stores, based on the taint status determination, the result value in a second tainted object, and performing, using the abstract syntax tree, a taint analysis of the source code to identify a vulnerability in the source code.

    DOMAIN SPECIFIC INLINING FOR INTERPRETERS
    3.
    发明公开

    公开(公告)号:US20230376290A1

    公开(公告)日:2023-11-23

    申请号:US18319339

    申请日:2023-05-17

    CPC classification number: G06F8/44

    Abstract: Domain specific inlining for interpreters includes obtaining an interpreter source code including compiler directives. A host compilation is performed on the interpreter source code to obtain a compiled interpreter. Performing host compilation includes inlining code blocks based on the plurality of compiler directives. The compiled interpreter is outputted.

    EFFICIENT DATA DECODING USING RUNTIME SPECIALIZATION

    公开(公告)号:US20190377589A1

    公开(公告)日:2019-12-12

    申请号:US16006668

    申请日:2018-06-12

    Abstract: Computer-implemented techniques described herein provide efficient data decoding using runtime specialization. In an embodiment, a method comprises a virtual machine executing a body of code of a dynamically typed language, wherein executing the body of code includes: querying a relational database, and in response to the query, receiving table metadata indicating data types of one or more columns of a first table in the relational database. In response to receiving the table metadata: for a first column of the one or more columns, generating decoding machine code to decode the first column based on the data type of the first column, and executing the decoding machine code to decode the first column of the one or more columns.

    Dynamic taint tracking in abstract syntax tree interpreters

    公开(公告)号:US11947677B2

    公开(公告)日:2024-04-02

    申请号:US17011637

    申请日:2020-09-03

    CPC classification number: G06F21/577 G06F8/427

    Abstract: A method may include determining that a non-constant value of a variable corresponding to a variable node of the abstract syntax tree flows into an operator node in the abstract syntax tree. The method may further include adding, to the abstract syntax tree, a check taint node including functionality to: make a taint status determination that the non-constant value is tainted, and return the non-constant value to the operator node. The operator node generates a result value by executing an operator using the non-constant value. The method may further include adding, to the abstract syntax tree, a set taint node that stores, based on the taint status determination, the result value in a second tainted object, and performing, using the abstract syntax tree, a taint analysis of the source code to identify a vulnerability in the source code.

    SECURELY CONNECTING ISOLATED MANAGED HEAPS

    公开(公告)号:US20230035045A1

    公开(公告)日:2023-02-02

    申请号:US17387640

    申请日:2021-07-28

    Abstract: A method may include generating, by a source isolate, an external object reference, passing, by the source isolate, the external object reference to a target isolate, storing, by the source isolate and in an exported reference table, an entry that maps the external object reference to an object stored in a heap of the source isolate, performing, by the target isolate, a task that accesses the object using the external object reference, receiving, by the source isolate and from a finalizer of the external object reference, a notification that the external object reference has become unreferenced, and in response to the notification, removing, by the source isolate, the entry from the exported reference table.

    Efficient data decoding using runtime specialization

    公开(公告)号:US10684873B2

    公开(公告)日:2020-06-16

    申请号:US16006668

    申请日:2018-06-12

    Abstract: Computer-implemented techniques described herein provide efficient data decoding using runtime specialization. In an embodiment, a method comprises a virtual machine executing a body of code of a dynamically typed language, wherein executing the body of code includes: querying a relational database, and in response to the query, receiving table metadata indicating data types of one or more columns of a first table in the relational database. In response to receiving the table metadata: for a first column of the one or more columns, generating decoding machine code to decode the first column based on the data type of the first column, and executing the decoding machine code to decode the first column of the one or more columns.

Patent Agency Ranking