Selective data flow analysis of bounded regions of computer software applications

摘要

Performing data flow analysis of a computer software application, including, for a data flow analysis type, identifying within a computer software application code base a plurality of seeds relating to the data flow analysis type, for each of the plurality of seeds, defining a portion of the computer software application code base to a predefined depth of calls backward from the seed and to a predefined depth of calls forward from the seed, thereby resulting in a plurality of bounded portions of the computer software application code base, detecting a change in the computer software application code base, and performing, on any of the bounded portions affected by the change, a data flow analysis relating to the data flow analysis type.

主权项

1. A method for performing data flow analysis of a computer software application, the method performed by one or more processors comprising steps of:
for a data flow analysis type, identifying within a computer software application code base a plurality of seeds relating to the data flow analysis type; for each of the plurality of seeds, defining a portion of the computer software application code base to a predefined depth of calls backward from the seed and to a predefined depth of calls forward from the seed, thereby resulting in a plurality of bounded portions of the computer software application code base; detecting a change in the computer software application code base; and performing, on any of the bounded portions affected by the change, a data flow analysis relating to the data flow analysis type; and updating results of a data flow analysis of the computer software application performed prior to the change with results of the data flow analysis performed on any of the bounded portions affected by the change.