Data-Flow Analysis Code Using C++11