Transformations

We perform transformations on the program source code to ensure that the variables the CQual phase marks as sensitive are placed into the sensitive memory region by Smalloc library routines. CIL provides an ideal platform for performing these transformations. We outline each of the transformations below. The results of applying the complete set of transformations to the program in Figure 3 can be seen in Figure 4.