Information processing system, information processing method and non-transitory storage medium storing information processing program thereon
AssigneeOMRON Corporation
InventorShinsuke KAWANOUE
Life of this patent
Estimating the term…
Abstract
An information processing system includes: a generator that generates a control flow graph from an abstract syntax tree corresponding to source code of a user program; a formulator that formulates an inter-variable dependence by searching a variable which depends upon a variable used in the user program based on the control flow graph; a search module that searches a variable deemed to be a fixed value in variables used in the user program; and an update module that updates the inter-variable dependence by reflecting the variable deemed to be a fixed value on the source code.
Claims20
An information processing system comprising:
- a generator that generates a control flow graph from an abstract syntax tree corresponding to source code of a user program;
- a formulator that formulates an inter-variable dependence by searching a variable which depends upon a variable used in the user program based on the control flow graph;
- a search module that searches a variable deemed to be a fixed value in variables used in the user program;
- and
- an update module that updates the inter-variable dependence by reflecting the variable deemed to be a fixed value on the source code.
An information processing method implemented by one or more processors, the method comprising:
- generating a control flow graph from an abstract syntax tree corresponding to source code of a user program;
- formulating an inter-variable dependence by searching a variable which depends upon a variable used in the user program based on the control flow graph;
- searching a variable deemed to be a fixed value in variables used in the user program;
- and
- updating the inter-variable dependence by reflecting the variable deemed to be a fixed value on the source code.
A non-transitory storage medium storing an information processing program thereon, the information processing program causing one or more processors to perform:
- generating a control flow graph from an abstract syntax tree corresponding to source code of a user program;
- formulating an inter-variable dependence by searching a variable which depends upon a variable used in the user program based on the control flow graph;
- searching a variable deemed to be a fixed value in variables used in the user program;
- and
- updating the inter-variable dependence by reflecting the variable deemed to be a fixed value on the source code.
Dependencies are inferred from the claim text.