Abstract
Many runtime verification tools are built based on Aspect- Oriented Programming (AOP) tools, most often AspectJ, a mature implementation of AOP for Java. Although already popular in the Java domain, there is few work on runtime verification of C programs via AOP, due to the lack of a solid language and tool support. In this paper, we propose a new general purpose and expressive language for defining monitors as an extension to the C language, and present our tool implementation of the weaver, the MOVEC compiler, which brings fully-fledged parametric runtime verification support into the C domain.
Cite
CITATION STYLE
Chen, Z., Wang, Z., Zhu, Y., Xi, H., & Yang, Z. (2016). Parametric runtime verification of C programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9636, pp. 299–315). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_17
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
