US 12,436,749 B2
Inferring type definitions of user-defined types of variables in application program code
Beth Cockerham, Melrose, MA (US); and Trent Craig George Waddington, Greenslopes (AU)
Assigned to Veracode, Inc., Burlington, MA (US)
Filed by Veracode, Inc., Burlington, MA (US)
Filed on Mar. 31, 2023, as Appl. No. 18/194,599.
Prior Publication US 2024/0329955 A1, Oct. 3, 2024
Int. Cl. G06F 8/41 (2018.01); G06F 11/3604 (2025.01)
CPC G06F 8/437 (2013.01) [G06F 11/3612 (2013.01)] 20 Claims
OG exemplary drawing
 
1. A method comprising:
statically analyzing program code of an application over a plurality of iterations, wherein the program code is included in one or more files of the application, and wherein statically analyzing the program code over the plurality of iterations comprises traversing a control flow graph of the application in each of the plurality of iterations to,
determine that an expression or statement identified in the program code of the application comprises a variable that has a user-defined type;
determine if a definition of the user-defined type is known based on the program code of the application; and
based on determining that the definition of the user-defined type is unknown, build an inferred definition of the user-defined type; and
incorporating the built inferred definition of the user-defined type into the one or more files of the application based on determining that the inferred definition satisfies a criterion.