US Patent Issued to Veracode on Oct. 7 for "Inferring type definitions of user-defined types of variables in application program code" (American, Australian Inventors)

ALEXANDRIA, Va., Oct. 8 -- United States Patent no. 12,436,749, issued on Oct. 7, was assigned to Veracode Inc. (Burlington, Mass.).

"Inferring type definitions of user-defined types of variables in application program code" was invented by Beth Cockerham (Melrose, Mass.) and Trent Craig George Waddington (Greenslopes, Australia).

According to the abstract* released by the U.S. Patent & Trademark Office: "Type definitions of user-defined types in application program code for which definitions are absent ("unknown types") are inferred. A static analyzer implements two passes of a fixed-point type inference algorithm. Each pass encompasses a plurality of traversals of the application's control flow to build inferred definitions of unknown t...