Understand C/C++ Code Design with Polyspace Products