Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Go to file
msridhar1 d81d8569eb fix test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-04-03 22:43:34 +00: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 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.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 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.polyglot blunt force trauma to CAst frond end: 2012-01-27 20:15:33 +00: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 improve handling of binary expressions 2012-03-08 17:35:04 +00: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 don't require 1.5 VM 2012-02-21 13:49:05 +00: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 change resolveField() to pass type when resolving a field 2012-04-03 22:41:21 +00: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 fix test 2012-04-03 22:43:34 +00:00
com.ibm.wala.ide moved IR-independent visualization of graphs to util project 2011-08-16 16:51:11 +00:00
com.ibm.wala.ide-feature nuke incorrect license information 2009-06-22 15:19:38 +00:00
com.ibm.wala.ide.tests moved IR-independent visualization of graphs to util project 2011-08-16 16:51:11 +00:00
com.ibm.wala.j2ee Changes to extend supported context sensitivity to CPA-style: 2011-04-27 13:58:56 +00: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 formatting 2011-04-03 04:04:59 +00:00

README.md

This is a mirror of the WALA SVN repository. It is maintained manually for now, but more official support may be added in the future. For more details on WALA, see the WALA home page.