CONTROL FLOW INTEGRITY ENFORCEMENT AT SCALE
    6.
    发明申请
    CONTROL FLOW INTEGRITY ENFORCEMENT AT SCALE 审中-公开
    控制流程完整性执行规模

    公开(公告)号:US20130283245A1

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

    申请号:US13450487

    申请日:2012-04-19

    IPC分类号: G06F9/44

    CPC分类号: G06F9/44589 G06F8/433

    摘要: Various technologies described herein pertain to enforcing control flow integrity by adding instrumentation when source code is compiled or binary code is rewritten. An indirect call to a control transfer target (e.g., in the source code, in the binary code, etc.) can be identified. Moreover, the instrumentation can be inserted prior to the indirect call. The instrumentation can use a bit from a bitmap maintained by a runtime to verify whether the control transfer target is valid. When an executable image that includes the inserted instrumentation runs, execution can be terminated and/or other appropriate actions can be taken when the control transfer target is determined to be invalid; alternatively, execution can continue when the control transfer target is determined to be valid.

    摘要翻译: 本文描述的各种技术涉及通过在编译源代码或重写二进制代码时添加仪器来实施控制流完整性。 可以识别对控制传送目标的间接呼叫(例如,在源代码中,二进制代码等中)。 此外,可以在间接呼叫之前插入仪器。 仪器可以使用运行时维护的位图中的位来验证控制传输目标是否有效。 当包括插入的仪器的可执行映像运行时,当控制传送目标被确定为无效时,可以终止执行和/或可以执行其他适当的动作; 或者,当控制传送目标被确定为有效时,执行可以继续。