Re: More on invokeGraphs

["Etienne M. Gagnon" <etienne.gagnon@uqam.ca>]

Ondrej Lhotak wrote:
> Another difficulty is that class initiliazer methods can be called at
> any time the first time a class is used, so they are treated as possible
> entry points...
To be precise: According to the JVM spec. the class initiliazer *must* be call 
*the* first time a class is used (instance creation, initialization of subclass, 
static method/field access,...). See JVM spec 2.17.4 and 5.5 for details. Of 
course, this is hell for static analyses. :-)

Etienne

--
Etienne M. Gagnon                    http://www.info.uqam.ca/~egagnon/
SableVM:                                       http://www.sablevm.org/
SableCC:                                       http://www.sablecc.org/