Data flow analysis for dynamic application, skipping views
AssigneeInternational Business Machines Corporation
InventorsAharon Abadi, Idan Ben-Harrush, Shmuel Kallner, Oleg Sternberg
Life of this patent
Estimating the term…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorsAharon Abadi, Idan Ben-Harrush, Shmuel Kallner, Oleg Sternberg
Estimating the term…
According to some embodiments of the present invention there is provided a method for identifying control dependencies between a source code and selected paths though the source code comprising: receiving an source code having a plurality of application functionalities, calculating a control graph dataset mapping a plurality of code segments of the source code into a plurality of source code execution paths, defining at least one control dependency from at least one source code execution path to the source code, receiving a subgroup defining a plurality of selected application functionalities from the plurality of application functionalities, identifying at least one of the plurality of source code execution paths that covers suitable code segments of the plurality of code segments which are required for performing application functionalities from the subset, and identifying at least one control dependency to eliminate within the one identified source code execution path.
A method for identifying control dependencies between a source code and selected paths though said source code comprising:
A method for identifying data dependencies between a source code and selected paths though said source code comprising:
A system for identifying data dependencies between a source code and selected paths though said source code comprising:
Dependencies are inferred from the claim text.