Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Go to file
Juergen Graf 69846ed275 ignore output of smali example tests 2012-05-21 11:26:15 +02: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 Merge branch 'wala' into master 2012-05-16 14:02:20 +02:00
com.ibm.wala.cast.java Merge branch 'wala' into master 2012-03-19 13:33:48 +01:00
com.ibm.wala.cast.java.jdt blunt force trauma to CAst frond end: 2012-01-27 20:15:33 +00:00
com.ibm.wala.cast.java.jdt.test changes to Web source mapping to exploit rhino 1.7R3 source offsets 2012-05-08 13:17:01 -04:00
com.ibm.wala.cast.java.polyglot changes to Web source mapping to exploit rhino 1.7R3 source offsets 2012-05-08 13:17:01 -04:00
com.ibm.wala.cast.java.polyglot.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 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 automate building of test project for JDT wala tests 2012-04-17 12:51:43 -04:00
com.ibm.wala.cast.js Merge branch 'wala' into master 2012-05-16 14:02:20 +02: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 add copyright notice 2012-05-14 14:38:35 -06:00
com.ibm.wala.cast.js.test tests for source mapping 2012-05-11 15:03:10 -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 Merge branch 'wala' into master 2012-05-16 14:02:20 +02:00
com.ibm.wala.core.testdata static initializer tests 2012-05-16 14:02:29 +02:00
com.ibm.wala.core.tests remove duplicate class from wrong package 2012-05-21 11:25:26 +02:00
com.ibm.wala.ide Merge branch 'wala' into master 2012-04-19 14:39:05 +02: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.j2ee changed FileProvider to have instance methods 2012-04-16 14:57:14 -04:00
com.ibm.wala.shrike Merge branch 'wala' into master 2012-03-19 13:33:48 +01: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 Merge branch 'wala' into master 2012-04-04 11:27:23 +02:00
.gitignore ignore output of smali example tests 2012-05-21 11:26:15 +02: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.