The present paper explains a new approach to program control-flow checking. The check has inserted at source-code level using a signature methodology based on regular expressions. The signature checking is performed without dedicated watchdog processor but resorting to inter-process communication (IPC) facilities offered by most of the modern Operating Systems. The proposed approach allows very low memory overhead and trade-off between fault latency and program execution time overhead.