Static safety analysis for control-flow linearization
US11599079B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Mar 25, 2021 |
| Grant date | Mar 7, 2023 |
| Priority date | — |
| Expiry date | Aug 24, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG05B2219/24024
- WIPO fieldControl
- WIPO sectorInstruments
Abstract
A static safety analysis for control-flow linearization receives a control flow graph (CFG) and an intermediate representation of a computer program, and identifies, for a given loop, all memory load instructions belonging to one side of a diamond-shape structure in the CFG. For each representation of an address of each memory load instruction identified, determining whether it is used on all other sides of the diamond-shape structure. Responsive to determining each representation of an address of each memory load instruction on the one side of the diamond-shape structure is used on all other sides of the diamond-shape structure, determining whether an immediate predecessor of a top of the diamond-shape structure for the given loop post-dominates a header of the given loop. Responsive to determining the immediate predecessor of the top of the diamond-shape structure for the given loop post-dominates the header of the given loop, affirming safety of linearization.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.