Observability Analysis of Embedded Software for Coverage-Directed Validation
José C. Costa, Srinivas Devadas, Jose Carlos Monteiro · 2000
Syntax Tree (AST) of a C program. The AST can then be manipulated in several ways such as adding or deleting nodes in it. Finally, after changing the AST, the c2c tool produces the C program for that new AST. In our case, the modifications made are, for each statement, adding one of several functions to the code. In the case of an assignment, a control function is added after the assignment. When we have a call to a function that will send something to the output, an observe function is added.