Whole paper is according to the research order that from generalization to concretization, from static analysis to dynamic analysis and from definitude to blur.