DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Fork of the T.J. Watson Libraries for Analysis used by DASCA.
3,468 Commits 8 Branches 13 Tags 81 MiB
Java 94.4%
JavaScript 4.3%
HTML 0.5%
C++ 0.4%
Gradle 0.3%
c116f16823
Go to file
Manu Sridharan c116f16823 got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -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 got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -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 blunt force trauma to CAst frond end: 2012-01-27 20:15:33 +00:00
com.ibm.wala.cast.java.jdt.test got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
com.ibm.wala.cast.java.polyglot got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -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 upgrades to lexical soping implements to address some performance issues 2011-05-23 16:27:07 +00:00
com.ibm.wala.cast.js changed FileProvider to have instance methods 2012-04-16 14:57:14 -04:00
com.ibm.wala.cast.js.html.nu_validator 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.js.rhino 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.js.rhino.test got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
com.ibm.wala.cast.js.test jquery example 2012-03-08 17:35:32 +00:00
com.ibm.wala.cast.test strengthen checking of argument specialization test 2012-02-23 18:15:05 +00:00
com.ibm.wala.core got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
com.ibm.wala.core.testdata fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class 2012-04-03 22:26:12 +00:00
com.ibm.wala.core.tests got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
com.ibm.wala.ide got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -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.j2ee 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 extract class for an edge-filtered graph view 2012-04-03 19:09:50 +00:00
.gitignore updated ignores 2012-01-06 21:52:47 +00: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.