Re: Limiting whole-program analysis

[Helge Jensen <jensen@slog.dk>]

Helge Jensen wrote:


>   1. Reducing the precision of the analysis, by preventing it from 
> visiting method-calls, class-constructors, serialization, ...

After a bit of debugging, i found EntryPoints.java, and uncommented the 
ret.addAll(implicit).

    public List all() {
        List ret = new ArrayList();
        ret.addAll( application() );
      	//ret.addAll( implicit() );
        return ret;
    }

Now, it seems the analysis is pretty much restricted to what i want, and 
finishes in seconds :)

With this disabled, which programs would yield inconsistent analysis 
results? can it be summed up as programs that uses specific features of 
the java language/runtime-system?

I'm guessing programs that uses:

  - dynamic class-loading
  - privileged actions
  - finalization

Am i (just remotely) on the right track here.

--
Helge