[Wala-wala] How to limit scope of pointer analysis?

[Marcel B. <br...@st...>]

Hi,

I'm trying to write a code analysis that protocols all methods that have 
been invoked on a particular object.

DefUse works quite well for this purpose but does not deal with
field accesses (see sample below). With DefUse I would get two different 
protocols each time the log-field is used. I would like to merge both 
protocols into a single one.

Is their an easy way to archive that with an existing analysis or can I 
modify an existing analysis for this and how? An example would be a 
great help for me.

Thanks and best wishes,
Marcel


===  Sample  ===

public class Sample
{
      private static Logger log;

      void log()
      {
          log.info(null);
          log.debug("");
      }
}