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

摘要

The present invention provides a device and a method for analyzing a dynamic control flow for prescribing a control flow with an input generated by a grammar, which can improve stability and security of a program. The device comprises an input generating device for extending a sentence set which is a set of sentences generated according to a context-free grammar, and converting a specific terminal of the sentences into a meaningful string according to a string generating rule limited by an extended regular grammar; and a control flow analyzing device for receiving the entire string including the converted string as the input, and analyzing and selecting a proper control flow when an indirect branch command occurs while the program runs.