CCMOP: A Runtime Verification Tool for C/C++ Programs