CCMOP is a runtime verification (RV) tool for C/C++ program. To our knowledge, CCMOP is the first runtime verification tool that implements an aspect-oriented programming (AOP) based RV approach and supports the RV of general properties for C++ programs.

{ We have applied CCMOP for 100 real-world C/C++ programs (5584.3K LOCs in total) with standard C++ language features. The experimental results indicate that CCMOP supports the RV for large-scale C/C++ pro-grams. The runtime overhead of CCMOP on C++ programs is 88% for the use-after-free property.

2023年10月3日 · Runtime verification (RV) is an effective lightweight formal method for improving software’s reliability at runtime. There exist no RV tools specially designed for C++ programs. This paper introduces the first one, i.e., CCMOP, which implements an AOP-based RV approach and supports the RV of general properties for C/C++ program.

We provide two example for using CCMOP. We first use CCMOP to analyze a single file with respect to the Safe-Iterator property. Then we use CCMOP to analyze a real-world project for the Use-after-free property.

CCMOP is a runtime verification (RV) tool for C/C++ program. To our knowledge, CCMOP is the first runtime verification tool that implements an aspect-oriented programming (AOP) based RV approach and supports the RV of general properties for C++ programs.

Here we give a brief manual for using CCMOP. There are three parts. The first part is the manual for installing and running the docker image of CCMOP. The second part is the usage of the transparent compilation script wac. The final part is a brief account of the syntax of the property.

CCMOP provides an AOP language specially designed for C++ pro-gram to define the events in RV. The instrumentation of RV monitor is done at AST-level, which improves the efficiency of compilation and the accuracy of RV. CCMOP is implemented based on JavaMOP and an industrial-strength compiler. The results of extensive experiments on

CCMOP is a RV tool specially designed for C++ programs, which supports the RV of general properties. \n CCMOP's Framework \n. Insides CCMOP, we designed the framework based on JavaMOP and implemented the instrumentation at the AST level. The framework of CCMOP is shown in the following figure. \n \n \n \n

Zhenbang Chen. Professor of Computer Science, NUDT. Follow. Changsha, China; Email; Github; Google Scholar; ORCID; CCMOP: A Runtime Verification Tool for C/C++ Programs

Here we give a brief manual for using CCMOP. There are three parts. The first part is the manual for installing and running the docker image of CCMOP. The second part is the usage of the transparent compilation script wac. The final part is a brief account of the syntax of the property.