Control-Flow Checking via Regular Expressions

Authors:
Alfredo Benso;Stefano Di Carlo;Giorgio Di Natale;Paolo Prinetto;Luca Tagliaferri
Affiliations:
-;-;-;-;-
Venue:
ATS '01 Proceedings of the 10th Asian Test Symposium
Year:
2001

Citing 0
Cited 4

Error Detection Enhancement in COTS Superscalar Processors with Performance Monitoring Features

Journal of Electronic Testing: Theory and Applications
Concurrent Detection of Control Flow Errors by Hybrid Signature Monitoring

IEEE Transactions on Computers
Remote entrusting by run-time software authentication

SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Efficient protection against data errors in embedded control software

CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics

Quantified Score

Hi-index	0.01

Visualization

Abstract

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-offbetween fault latency and program execution time overhead.