A Data Flow Behavior Constraints Model for Branch Decision-making Variables

Abstract

In order to detect the attacks to decision-making variable , this paper presents a data flow behavior constraint model for branch decision-making variables. Our model is expanded from the co mmon control flow model, it emphasizes on the analysis and verification about the data flo w for decision-making variab les, so that to ensure the branch statement can execute correctly and can also detect the attack to branch decision-making variab le easily. The constraints of our model include the collect ion of variables, the statements that the decision-making variables are dependent on and the data flow constraint with the use-def relat ion of these variables. Our experimental results indicate that it is effective in detecting the attacks to branch decision-making variables as well as the attacks to control-data.