公开(公告)号：US12242832B1

公开(公告)日：2025-03-04

申请号：US18452842

申请日：2023-08-21

Applicant: Oracle International Corporation

Inventor： Christian Wimmer ,  Liviu Codrut Stancu

IPC: G06F8/41

Abstract: A flow graph of a first compilation unit of the program is expanded. The first corresponding parameter states of statements of the first compilation unit are marked as empty. The statements of the first compilation unit are processed to update the first corresponding parameter states with an exact type and a value set. Processing the statements include tracking a control flow predicate of a block in the first compilation unit, wherein the block comprises a first subset of the statements. Only after the control flow predicate indicates that the block is executable, the method includes processing an invocation statement in the first subset of the first statements, and expanding, responsive to the invocation statement, the flow graph for a second compilation unit of the program that is identified by the invocation statement.

公开(公告)号：US20250068404A1

公开(公告)日：2025-02-27

申请号：US18452842

申请日：2023-08-21

Applicant: Oracle International Corporation

Inventor： Christian Wimmer ,  Liviu Codrut Stancu

IPC: G06F8/41

Abstract: A flow graph of a first compilation unit of the program is expanded. The first corresponding parameter states of statements of the first compilation unit are marked as empty. The statements of the first compilation unit are processed to update the first corresponding parameter states with an exact type and a value set. Processing the statements include tracking a control flow predicate of a block in the first compilation unit, wherein the block comprises a first subset of the statements. Only after the control flow predicate indicates that the block is executable, the method includes processing an invocation statement in the first subset of the first statements, and expanding, responsive to the invocation statement, the flow graph for a second compilation unit of the program that is identified by the invocation statement.