Use string analysis results for `Class.forName` reflective calls

opalj / opal

https://www.opal-project.de

Other

51 stars 27 forks source link

Use string analysis results for `Class.forName` reflective calls #214

Open maximilianruesch opened 2 months ago

maximilianruesch commented 2 months ago

Uses the results generated in #1 by:

Integrating them into the ClassForName reflective call analysis
Adding a string analysis demo along with a demo package showcasing the ability of the now integrated analysis to resolve calls across the Apache Xerces Framework

This PR contains some compromises and bugfixes that still need to be ironed out.

maximilianruesch commented 2 months ago

This PR will still fail unit (and probably integration) tests since some computation for StringConstancy is missing (often times in the call graph computations that depend on the ClassForName analysis.