公开(公告)号：US20130104112A1

公开(公告)日：2013-04-25

申请号：US13280122

申请日：2011-10-24

申请人： Diego Novillo ,  Lawrence Alan Crowl

发明人： Diego Novillo ,  Lawrence Alan Crowl

IPC分类号： G06F9/45

CPC分类号： G06F8/42

摘要： Disclosed herein are methods and systems for creating and using pre-parsed headers. One or more header files may be scanned into tokens. These tokens may then be parsed into abstract syntax trees. The abstract syntax trees may then be serialized in a modular form into pre-parsed headers on a storage device. Based upon directives in one or more source files, the pre-parsed headers may then be deserialized into abstract syntax trees and loaded from the storage device. The loaded abstract syntax trees may then be used in the compilation of the source files.

摘要翻译： 这里公开了用于创建和使用预解析头部的方法和系统。 可以将一个或多个头文件扫描成令牌。 然后可以将这些令牌解析成抽象语法树。 然后，抽象语法树可以以模块化形式被序列化为存储设备上的预先解析的报头。 基于一个或多个源文件中的指令，预先解析的头部然后被反序列化成抽象语法树并从存储设备加载。 加载的抽象语法树可以用于源文件的编译。

公开(公告)号：US08745741B1

公开(公告)日：2014-06-03

申请号：US13601950

申请日：2012-08-31

申请人： Caroline Tice ,  Geoffrey Roeder Pike ,  Úlfar Erlingsson ,  Lawrence Alan Crowl ,  Cary Allen Coutant ,  Xinliang David Li ,  Sriraman Tallam ,  Kenneth Buchanan

发明人： Caroline Tice ,  Geoffrey Roeder Pike ,  Úlfar Erlingsson ,  Lawrence Alan Crowl ,  Cary Allen Coutant ,  Xinliang David Li ,  Sriraman Tallam ,  Kenneth Buchanan

IPC分类号： G06F21/00 ,  H04L29/06

CPC分类号： G06F21/52 ,  G06F21/554

摘要： A system and method is disclosed for providing security in virtual function calling. During a build process a program code is analyzed to identify one or more call sites used to facilitate a call to a subroutine associated with a declared object type. One or more trusted vtable pointers to a respective subroutine is determined, and the program is configured, via the build process, to detect, at an execution time, an initiation of a virtual call at a call site, verify whether a vtable pointer used in connection with the call site is associated with at least one of the trusted vtable pointers, and, if verified, facilitate the virtual call using the call site. If the vtable pointer cannot be verified then the virtual call is aborted.

摘要翻译： 公开了一种用于在虚拟功能呼叫中提供安全性的系统和方法。 在构建过程中，分析程序代码以识别一个或多个调用站点，用于方便对与声明的对象类型相关联的子程序的调用。 确定到相应子程序的一个或多个受信任的vtable指针，并且经由构建处理配置程序，以在执行时检测在呼叫站点处的虚拟呼叫的启动，验证是否使用vtable指针 与呼叫站点的连接与至少一个可信的vtable指针相关联，并且如果被验证，则使用呼叫站点促进虚拟呼叫。 如果无法验证vtable指针，则会中止虚拟调用。

公开(公告)号：US08464234B2

公开(公告)日：2013-06-11

申请号：US13280122

申请日：2011-10-24

申请人： Diego Alejandro Novillo ,  Lawrence Alan Crowl

发明人： Diego Alejandro Novillo ,  Lawrence Alan Crowl

IPC分类号： G06F9/45

CPC分类号： G06F8/42

摘要： Disclosed herein are methods and systems for creating and using pre-parsed headers. One or more header files may be scanned into tokens. These tokens may then be parsed into abstract syntax trees. The abstract syntax trees may then be serialized in a modular form into pre-parsed headers on a storage device. Based upon directives in one or more source files, the pre-parsed headers may then be deserialized into abstract syntax trees and loaded from the storage device. The loaded abstract syntax trees may then be used in the compilation of the source files.

摘要翻译： 这里公开了用于创建和使用预解析头部的方法和系统。 可以将一个或多个头文件扫描成令牌。 然后可以将这些令牌解析成抽象语法树。 然后，抽象语法树可以以模块化形式被序列化为存储设备上的预先解析的头部。 基于一个或多个源文件中的指令，预先解析的头部然后被反序列化成抽象语法树并从存储设备加载。 加载的抽象语法树可以用于源文件的编译。