Discovering high-level language data structures from assembler code

Patent metadata

Field	Value
Publication number	US-10353675-B2
Application number	US-201715791721-A
Country	US
Kind code	B2
Filing date	Oct 24, 2017
Priority date	Apr 28, 2017
Publication date	Jul 16, 2019
Grant date	Jul 16, 2019

Abstract

A computer-implemented method for transforming implicit data structures expressed by assembler code into high-level language structures includes analyzing a section of assembler code to identify a plurality of data items. The computer-implemented method further includes storing the plurality of data items in a plurality of groups. The computer-implemented method further includes modifying one or more groups in the plurality of groups based, at least in part, on a pair of adjacent groups having a non-identical overlap. The computer-implemented method further includes creating an overlap list for each group. The computer-implemented method further includes generating data modeling language for the section based, at least in part, on each overlap list. A corresponding computer system and computer program product are also disclosed.

First claim

What is claimed is:

1. A computer-implemented method for transforming implicit data structures expressed by assembler code into high-level language structures, the method comprising:
analyzing a section of assembler code to identify a plurality of data items, wherein the section of assembler code has a beginning and an end;
storing the plurality of data items in a plurality of groups, wherein:
the plurality of groups corresponds to the section of assembler code; and
the plurality of data items is stored based, at least in part, on:
their offset from a start of a group in the section; and
an order in which the data items are added to the section;

modifying one or more groups in the plurality of groups based, at least in part, on a pair of adjacent groups having a non-identical overlap, wherein modifying the one or more groups in the plurality of groups further includes performing at least one of splitting or padding the pair of adjacent groups based, at least in part, on: (i) a number of data items included in the pair of adjacent groups, and (ii) an offset position of each data item in the pair of adjacent groups;
creating an overlap list for each group, wherein the overlap list identifies those other groups in the plurality of groups that overlap with the group; and
generating data modeling language for the section based, at least in part, on each overlap list.

2. The computer-implemented method of claim 1 , wherein performing at least one of splitting or padding the pair of adjacent groups includes:
splitting two data items stored in a first group of the pair of adjacent groups into two groups, such that:
a first sub-group contains data items of the first group up to a split point, and
a second sub-group contains data items of the first group after the split point.

3. The computer-implemented method of claim 1 , wherein performing at least one of splitting or padding the pair of adjacent groups includes:
padding a second group in the pair of adjacent groups to match a size of a first group in the pair of adjacent groups.

4. The computer-implemented method of claim 1 , wherein two groups are determined to overlap if a data item in each of the two groups shares a common offset position in the section.

5. The computer-implemented method of claim 1 , wherein generating the data modeling language for the section is further based, at least in part, on determining a degree of overlap between two groups.

6. The computer-implemented method of claim 1 , wherein the data modeling language defines hierarchical data model elements in the assembler code.

Assignees

• IBM

Inventors

• Cebula Richard

Classifications

• G06F8/41 Primary

  Compilation · CPC title

• G06F8/31

  Programming languages or programming paradigms · CPC title

• G06F30/33

  Design verification, e.g. functional simulation or model checking · CPC title

• G06F8/75

  Structural analysis for program understanding · CPC title

• G06F8/51

  Source to source · CPC title