Data Flow Analysis Based on the Variable Scope
Zhao Xue-feng
Abstract
Zhao Xue-feng
Abstract
As an important technology of programming analysis,data flow analysis is widely applied into kinds of software projects.Problem of variables being hidden and covered for their scope has not been taken into accout in traditional dataflow iteration analysis,leading to inaccurate data flow information.An improved dataflow analysis method based on variables scope and traditional dataflow iteration analysis method was proposed to solve the problem of varibles being hidden and covered.At last,both of these methods were applied into program slice,which proves the efficiency of the improved one by comparing.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
As an important technology of programming analysis,data flow analysis is widely applied into kinds of software projects.Problem of variables being hidden and covered for their scope has not been taken into accout in traditional dataflow iteration analysis,leading to inaccurate data flow information.An improved dataflow analysis method based on variables scope and traditional dataflow iteration analysis method was proposed to solve the problem of varibles being hidden and covered.At last,both of these methods were applied into program slice,which proves the efficiency of the improved one by comparing.
Key concepts: Dataflow, Computer science, Scope (computer science), Data-flow analysis, Program analysis, Variable (mathematics), Data flow diagram, Dataflow architecture