Home | Publications

MOVEC is an automated tool for runtime MOnitoring, VErification and Control of C programs as an extension to the C programming language. MOVEC provides a source-to-source transformation that automatically weaves monitor specifications written in MOVEC into MOVEC-unaware C programs, and generates instrumented C programs which can be compiled by any compliant C compiler such as GCC and other platform-specific compilers. In other words, MOVEC integrates and extends aspect-oriented programming (AOP) and monitoring-oriented programming (MOP), and is an implementation of these ideas for the C programming language.


To run it, please unzip the gzip file, and put its directory to your PATH. Note that:


Last updated: May 1, 2018