Study on Virtual Function Matching Algorithm in C++ Based on Source Code Static Analysis
Zhihua Zhang · Microcomputer Information · 2010
When analyzing the static path of C ++ source code, it is important to get the prototype of the call of virtual function. Based on the mechanism of polymorphism, after getting the virtual table from the static analysis, value analysis and alias analysis can be done to the assignment and function calling, and corresponding tables are constructed to help match the prototype of virtual function. This study is important to the path oriented automatic test of C++.