This project is in collaboration with IBM CAS Canada. The goal is to enable analyzing certain aspects of a C++ system that might differ depending on the architecture the system is being built for. This is a new project so details to follow…