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
..
CAstDumper.java	Some final fixes to the for-in body extractor; it now seems to work as	2012-02-08 15:35:32 +00:00
JSCallGraphBuilderUtil.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
JavaScriptTestPlugin.java	Some more tests.	2012-01-06 21:41:57 +00:00
TestAjaxsltCallGraphShape.java	introduce CGBuilderType enum, related refactorings	2012-02-17 20:22:14 +00:00
TestArgumentSensitivity.java	strengthen checking of argument specialization test	2012-02-23 18:15:05 +00:00
TestCorrelatedPairExtraction.java	When extracting correlated pairs, check that the extraction region does	2012-02-17 20:25:39 +00:00
TestForInBodyExtraction.java	When extracting correlated pairs, check that the extraction region does	2012-02-17 20:25:39 +00:00
TestForInLoopHack.java	refactoring: rename some Util classes	2012-02-17 20:21:59 +00:00
TestJQueryExamples.java	fix some compile errors	2012-02-17 20:24:32 +00:00
TestJSCallGraphShape.java	refactoring: rename some Util classes	2012-02-17 20:21:59 +00:00
TestMediawikiCallGraphShape.java	fix some compile errors	2012-02-17 20:24:32 +00:00
TestMozillaBugPages.java	refactoring: rename some Util classes	2012-02-17 20:21:59 +00:00
TestSimpleCallGraphShape.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
TestSimplePageCallGraphShape.java	fix some compile errors	2012-02-17 20:24:32 +00:00
TestWebUtil.java	Some more tests.	2012-01-06 21:41:57 +00:00