Michael Herzberg 39b3cad56a For some reason, using the precise JS call graph builder, the analysis crashes here.... Temporary workaround.		2015-08-17 19:18:26 +02:00
..
analysis/typeInference	merge	2013-06-25 11:57:37 -04:00
callgraph/fieldbased	Muted logging of timings.	2015-06-24 15:00:28 +02: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	Readded column information.	2015-07-19 20:43:08 +02:00
ipa	For some reason, using the precise JS call graph builder, the analysis crashes here.... Temporary workaround.	2015-08-17 19:18:26 +02: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	Changed visibility of getCol function.	2015-08-03 16:18:15 +02: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