WALA/com.ibm.wala.cast.java
dolby-oss a9ec87f360 Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-03-01 02:45:51 +00:00
..
.launchConfigurations launch configurations for download scripts 2007-02-08 20:35:48 +00:00
.settings update code formatting for Eclipse 3.6 2011-02-03 15:14:47 +00:00
META-INF Added qualifier for plugin version 2010-12-09 16:01:17 +00:00
src/com/ibm/wala/cast/java Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system. 2012-03-01 02:45:51 +00:00
.classpath Removed polyglot dependencies from the bundle manifest and classpath, now that the code dependencies have been moved to another plugin project (com.ibm.wala.cast.java.polyglot). 2009-04-16 20:18:53 +00:00
.cvsignore Initial contribution of core script analysis code 2007-02-02 17:20:09 +00:00
.project Initial contribution of core script analysis code 2007-02-02 17:20:09 +00:00
build.properties first cut at handling inner classes properly; moving around of code for analysis engines to make them provide a default way to build a call graph 2007-02-07 18:51:19 +00:00