INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS

Patent №

US 9,563,535

Granted

2017-02-07

Filed 2014

Owner

MICROSOFT CORPORATION

AI components

2

nlp · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

14579564

The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.

Natural languageAI hardwareG06F 11/3608G06F 8/443G06F 8/75

AI classification

AI hardware1.00
Natural language0.99
Knowledge representation0.14
Planning0.01
Machine learning0.01
Vision0.00
Evolutionary computation0.00
Speech0.00

Ownership

MICROSOFT CORPORATION

assignment · 352540624

Assignors

GRINGAUZE, ANNA, ROHDE, HENNING KORSHOLM

On an employer assignment, the assignors are typically the inventors.

© 2026 NYSGPT2525 LLC