Search International and National Patent Collections

1. (WO2018125363) SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE

Pub. No.:    WO/2018/125363    International Application No.:    PCT/US2017/056306
Publication Date: Fri Jul 06 01:59:59 CEST 2018 International Filing Date: Fri Oct 13 01:59:59 CEST 2017
IPC: G06F 9/45
G06F 9/44
G06F 9/445
Applicants: GRAMMATECH, INC.
Inventors: NOONAN, Matthew
LOGINOV, Alexey
COK, David
Title: SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE
Abstract:
Systems, methods and computer readable medium described herein relate to techniques for automatic type inference from machine code. An example technique includes receiving a machine code of a program, generating an intermediate representation of the machine code, generating a plurality of type constraints from the intermediate representation, generating one or more inferred types based at least upon the plurality of type constraints, converting the generated inferred types to C types, updating the intermediate representation by applying the inferred types to the intermediate representation, and outputting said inferred types, said converted C types, and/or at least a portion of the updated intermediate representation.