Research on the Static Analysis Method of the Localization Embedded Platform Software Code
Zhijie Gao, L. K. Lu, Wen Jiao · 2016
Localization of embedded system software usually has the characteristics of component, multi thread.Dynamic test is difficult to achieve full coverage, through static analysis techniques for automatically check source code, source code in the presence of common software defects found, can thoroughly solve specific types of software defects, effectively improve the localization platform software system reliability.In this paper, based on the formal method of static analysis, the algorithm of solve pointer alias analysis problem, puts forward the static analysis to test the framework for localization platform software code to carry out the static test and provide an effective way.