WALA/com.ibm.wala.core
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
..
.settings Let Buildship create new settings files when importing 2018-04-18 11:29:25 -05:00
META-INF Start new development version 2018-08-22 12:01:19 -07:00
dat WALA uses Git, so CVS ignore patterns are moot 2018-04-14 19:08:14 -05:00
lib remove dependency from slf4j logger in wala.core project 2014-07-30 15:44:17 +02:00
src/com/ibm/wala fix for forName selector: use the CHA in getRelevantParameters to resolve 2018-10-18 22:25:21 -04:00
antbuild.properties trying to update build.xml 2010-05-21 16:28:13 +00:00
build.gradle Load plugins using "plugins" closure rather than "apply plugin" 2018-05-23 16:47:58 -05:00
build.properties Tweak output dirs to match what Buildship puts into ".classpath" 2018-04-18 11:29:25 -05:00
javaCompiler...args generate linux build file 2008-05-29 15:30:59 +00:00
mvncentral.xml Start new development version 2018-08-22 12:01:19 -07:00
plugin.properties Match case of property names to that expected in manifest 2017-06-07 17:42:11 +02:00
pom.xml Start new development version 2018-08-22 12:01:19 -07:00