WALA/com.ibm.wala.core/src/com/ibm/wala/analysis
Julian Dolby 38c5de6160 fix for forName selector: use the CHA in getRelevantParameters to resolve
the declared target of the call site.  This is needed to make sure
forName targets loaded with the Application loader get resolved to point
to the real metod reference for forName.

this issue actually manifested itself in the Kawa Chess program, and so
I have added an assertion to make sure this resolution is done properly.
2018-10-18 22:25:21 -04:00
..
arraybounds Escape "<" and ">" in Javadoc when not used as HTML tag syntax 2017-12-19 16:53:52 -06:00
exceptionanalysis Remove type arguments that Java 1.7+ can infer for us 2017-12-04 14:04:39 -08:00
nullpointer Remove type arguments that Java 1.7+ can infer for us 2017-12-04 14:04:39 -08:00
pointers Use Iterator2Iterable helper to convert more loops to for-each 2017-12-04 14:04:39 -08:00
reflection fix for forName selector: use the CHA in getRelevantParameters to resolve 2018-10-18 22:25:21 -04:00
stackMachine Use Iterator2Iterable helper to convert more loops to for-each 2017-12-04 14:04:39 -08:00
typeInference Avoid using deprecated boxing constructors 2018-06-05 14:44:59 -05:00