SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES

    公开(公告)号:US20240272994A1

    公开(公告)日:2024-08-15

    申请号:US18472857

    申请日:2023-09-22

    摘要: In some embodiments, a system is provided, comprising enforcement hardware configured to execute, at run time, a state machine in parallel with application code. Executing the state machine may include: maintaining metadata that corresponds to one or more state variables of the state machine; matching instructions in the application code to transitions in the state machine; and, in response to determining that an instruction in the application code does not match any transition from a current state of the state machine, causing an error handling routine to be executed. In some embodiments, a description of a state machine may be translated into at least one policy to be enforced at run time based on metadata labels associated with application code and/or data manipulated by the application code.

    Systems and methods for checking safety properties

    公开(公告)号:US11797398B2

    公开(公告)日:2023-10-24

    申请号:US17051741

    申请日:2019-04-30

    摘要: In some embodiments, a system is provided, comprising enforcement hardware configured to execute, at run time, a state machine in parallel with application code. Executing the state machine may include maintaining metadata that corresponds to one or more state variables of the state machine; matching instructions in the application code to transitions in the state machine; and, in response to determining that an instruction in the application code does not match any transition from a current state of the state machine, causing an error handling routine to be executed. In some embodiments, a description of a state machine may be translated into at least one policy to be enforced at run time based on metadata labels associated with application code and/or data manipulated by the application code.

    SYSTEMS AND METHODS FOR UPDATING METADATA

    公开(公告)号:US20220374415A1

    公开(公告)日:2022-11-24

    申请号:US17769868

    申请日:2020-10-16

    IPC分类号: G06F16/23 G06F9/30

    摘要: Systems and methods for updating metadata. In some embodiments, in response to detecting an instruction executed by a hardware system, a source location of the instruction may be identified. First metadata associated with the instruction may be used to determine whether the instruction is allowed. In response to determining that the instruction is allowed, the source location of the instruction may be associated with second metadata.

    SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES

    公开(公告)号:US20210406137A1

    公开(公告)日:2021-12-30

    申请号:US17051741

    申请日:2019-04-30

    摘要: In some embodiments, a system is provided, comprising enforcement hardware configured to execute, at run time, a state machine in parallel with application code. Executing the state machine may include maintaining metadata that corresponds to one or more state variables of the state machine; matching instructions in the application code to transitions in the state machine; and, in response to determining that an instruction in the application code does not match any transition from a current state of the state machine, causing an error handling routine to be executed. In some embodiments, a description of a state machine may be translated into at least one policy to be enforced at run time based on metadata labels associated with application code and/or data manipulated by the application code.