This hinders static analysis as such analysis. And it would too restrictive to restrict specification entry to only use static class entities. This strategy is hampered by instantiations locates within loops or recursion. Such instantiations are pre-allocated in one of two fashions. For each method, if the has never been invoked, local analysis is performed.
Local analysis determines basic blocks and their sequencing, local dataflow, loops.
The method summary is generated. Summary information would require all invoked methods be analyzed. Consequently, Java references to the dynamically allocated class instances need to resolved in order to determine both global control flow and dataflow in the model. A conservative approach would be to automatically map references to pre-allocated entities of a compatible type. This would leverage Java's stong typing.