公开(公告)号：US12045322B2

公开(公告)日：2024-07-23

申请号：US16960960

申请日：2019-01-11

申请人： Virsec Systems, Inc.

发明人： Satya V. Gupta

IPC分类号： G06F21/12 ,  G06F9/30 ,  G06F9/38 ,  G06F21/54 ,  G06F21/57

CPC分类号： G06F21/121 ,  G06F9/30087 ,  G06F9/3842 ,  G06F9/3861 ,  G06F21/54 ,  G06F21/577

摘要： Embodiments protect a computer application from being exploited by an attacker, while the application code is executed by a speculative execution engine having vulnerabilities. Embodiments are directed to systems that, prior to execution of the application by a speculative execution engine, locate a sequence of instructions of the application in which the speculative execution engine executes the instructions out of sequence. For example, the sequence of instructions may be an “if-then” code block. The systems determine a disposition that forces the speculative execution engine to execute the instructions in sequence. For example, the disposition may be adding a fence instruction to the sequence of instructions. During execution of the application code by the speculative execution engine, the systems change the sequence of instructions based on the disposition. The systems execute the changed sequence of instructions in place of the located sequence of instructions to prevent an attack on the application.