Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Go to file
dolby 81c16d8121 ignore junk 2012-07-02 13:59:50 -04:00
com.ibm.wala-feature patch from Josh A., to support Eclipse plugin configuration stuff 2011-01-28 13:14:53 +00:00
com.ibm.wala.cast tests for source mapping 2012-05-11 15:03:10 -04:00
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
com.ibm.wala.cast.java.jdt fixes for java soiurce positions 2012-06-29 15:45:42 -04:00
com.ibm.wala.cast.java.jdt.test adapt to changes in source position mapping 2012-07-02 13:38:59 -04:00
com.ibm.wala.cast.java.polyglot fixes for java soiurce positions 2012-06-29 15:45:42 -04:00
com.ibm.wala.cast.java.polyglot.test adapt to changes in source position mapping 2012-07-02 13:38:59 -04:00
com.ibm.wala.cast.java.test 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
com.ibm.wala.cast.java.test.data ignore junk 2012-07-02 13:59:50 -04:00
com.ibm.wala.cast.js changes from upstream 2012-06-29 15:47:54 -04:00
com.ibm.wala.cast.js.html.nu_validator changes to Web source mapping to exploit rhino 1.7R3 source offsets 2012-05-08 13:17:01 -04:00
com.ibm.wala.cast.js.rhino tests for source mapping 2012-05-11 15:03:10 -04:00
com.ibm.wala.cast.js.rhino.test ignore junk 2012-07-02 13:59:50 -04:00
com.ibm.wala.cast.js.test changes from upstream 2012-06-29 15:47:54 -04:00
com.ibm.wala.cast.test changes to Web source mapping to exploit rhino 1.7R3 source offsets 2012-05-08 13:17:01 -04:00
com.ibm.wala.core changes from upstream 2012-06-29 15:47:54 -04:00
com.ibm.wala.core.testdata changes from upstream 2012-06-29 15:47:54 -04:00
com.ibm.wala.core.tests changes from upstream 2012-06-29 15:47:54 -04:00
com.ibm.wala.ide update manifests for move of the CorePlugin class 2012-04-17 15:37:27 -04:00
com.ibm.wala.ide-feature nuke incorrect license information 2009-06-22 15:19:38 +00:00
com.ibm.wala.ide.tests changed FileProvider to have instance methods 2012-04-16 14:57:14 -04:00
com.ibm.wala.shrike Revamped support for reading Java annotation information from .class files. 2012-01-11 17:11:59 +00:00
com.ibm.wala.tests-feature nuke incorrect license information 2009-06-22 15:19:38 +00:00
com.ibm.wala.tests.ide-feature nuke incorrect license information 2009-06-22 15:19:38 +00:00
com.ibm.wala.util changes from upstream 2012-06-29 15:47:54 -04:00
.gitignore update ignores 2012-04-17 15:37:38 -04:00
README.md updated for move to GitHub 2012-04-06 11:01:47 -06:00

README.md

This is the main source repository for WALA. For more details on WALA, see the WALA home page.