WALA/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js
Julian Dolby 0975441a43 changes for hybrid analysis 2015-04-05 21:19:56 -04:00
..
analysis/typeInference merge 2013-06-25 11:57:37 -04:00
callgraph/fieldbased 1) new support for function.prototype.apply in field-based CGs 2014-12-11 21:48:23 -05:00
cfg merge 2013-06-25 11:57:37 -04:00
client Remove redundant casts and imports, improve doc comments 2014-06-26 17:51:26 +02:00
html Merge branch 'wala' into master 2014-07-28 17:09:02 +02:00
ipa changes for hybrid analysis 2015-04-05 21:19:56 -04:00
loader Merge branch 'master' of https://github.com/wala/WALA 2014-10-06 15:43:42 -04:00
ssa Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
translator fixes to Dalvik support, and work on running Dalvik tests on Travis 2015-02-26 09:34:03 -05:00
types 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
util find arguments array vns 2014-02-08 21:34:55 -05:00
vis add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey. 2014-05-20 22:00:06 +02:00
JavaScriptPlugin.java merge 2013-06-25 11:57:37 -04:00