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
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
3a49f17ebc
update code formatting for Eclipse 3.6
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:14:47 +00:00
f5065b11e4
beginnings of support for annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4020 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-12-14 14:32:22 +00:00
b0001818d4
adapt to Eclipse Helios (3.6)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3918 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:04:19 +00:00
8069fe81d8
fix issues with junit 3 vs. 4 by adding hacking method to get a name like the one junit 3 gives
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-06 13:57:06 +00:00
8025302fd0
update to JUnit 4
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3743 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 22:48:04 +00:00
cab3c60f7e
fixes for JDT-based tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3730 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-16 18:08:29 +00:00
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
08dd597529
add EPL notice; minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 14:06:51 +00:00
9320eec170
switch to WALA code format. No semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 14:04:15 +00:00
ed13ddbb17
bug fix 2666538: make ClassLoaderReference immutable, and related API fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 14:20:35 +00:00
ce9ba78d59
JDT-based CAst front end from Berkeley
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-09 02:44:06 +00:00
dolby-oss
sjfink
msridhar1