next up previous
Next: Progressive analysis Up: Progressive Shape Analysis for Previous: Graph union


Experimental results

All the previously described operations and properties have been implemented in a compiler written in C which analyzes a C code to generate the RSRSG associated with each sentence of the code. As we said, the symbolic execution of each sentence over an RSRSG is going to generate a modified RSRSG as we have presented in Fig. 2. We can see that the new $ RSRSG_{o}$ is just the set resulting from the union of all compatible $ rsg$'s that were obtained after the abstract interpretation of the sentence over all the graphs belonging to $ RSRSG_{i}$. Remember that the division, pruning, and compress operations are instanced during the abstract interpretation of each sentence.



Subsections

Rafael Asenjo Plaza 2002-02-19