A C source code rewriter for runtime metamorphic testing