Embedded C developers shy away from C++ out of concern ... The vtable is an array of the addresses of the virtual functions in the class. For our example there would be one entry.

With C/C++, array index ... One such example is TrustInSoft Analyzer, which leverages sound and exhaustive static analysis to provide exhaustive verification of C and C++ code.