a basic environment for evaluation of several runtime detectors of programming language C