Apparatus and method for dynamic control-flow analysis for prescribing control-flow with Inputs generated from grammar

摘要

An apparatus and method for dynamic control flow analysis for prescribing a control flow with inputs generated by a grammar are provided. The input generating apparatus expands a set of sentences, which is a set of sentences generated according to the context free grammar, to convert a special terminal of sentences into a meaningful string according to a rule for generating a string limited to an extended regular grammar. If an indirect branch instruction occurs while the program is being executed with the entire string containing the string as input, the legitimate control flow is analyzed and selected.