[Gasta-general] State of the art

[Guillaume <gui...@po...>]

gasta-1.2.1 is a new release of gasta.
The main improvement is the extraction of the CFG. There is some points
that are missing like the treatment of the return block in the CFG. This
is done in cvs version (visitGraph.c : version 4.1).

The next step of our project is the implementation of an iterative
algorithm for reaching annotations [*]. For example, a modify expression
like :

 intPtr = (int *) malloc (sizeof(int));

 will be annotated with "NULL" and "ONLY" tags. The iterative analysis
will allow to compute the value of such pointer by holding account of the
different path inside the CFG.

Each suggestion is welcome.
Guillaume

[*] Compilers Principles, Techniques, and Tools.
    Alfred V.Aho, Ravis Sethi, Jeffrey D.Ullman
    p 625: Iterative solution of data-flow equations