Research on C/C++ Code Static Detection Based on Syntax Tree

To reduce the redundant information in software static analysis and improve the accuracy and efficiency of the information extraction, this paper proposed a syntax trees model based on relational storage mode. Modeling on dependency relationship between terminals will effectively reduce the information redundancy and can be stored in XML (eXtensible Markup Language) format. Using the mature XML parsing technique, a new static detection method based on XML model is put forward and applied to program norm. Experimental results show that: the method not only improves the detection efficiency but also increases the detection accuracy.