dolby
|
fae5c86114
|
fixes for users of JDT interfaces, such as Miniatur/MemSAT
|
2012-10-01 13:11:10 -04:00 |
|
dolby
|
a1589d833a
|
refactoring of support for tests with Eclipse projects
|
2012-09-24 15:43:51 -04:00 |
|
dolby
|
0518b5242b
|
more JS stuff
|
2012-08-22 12:15:46 -04:00 |
|
Julian Dolby
|
4a850a9510
|
added the com.ibm.wala.ide.jdt project
|
2012-08-21 18:52:09 -04:00 |
|
dolby
|
53cad9e7ba
|
more separation for JS eclipse stuff
|
2012-08-21 16:06:01 -04:00 |
|
dolby
|
72e8dc9098
|
reorganize stuff for using JavaScript stuff from Eclipse
|
2012-08-21 09:48:53 -04:00 |
|
dolby
|
4b3cba710d
|
changes from upstream
|
2012-06-29 15:47:54 -04:00 |
|
dolby
|
dfe06b8ff3
|
changes to Web source mapping to exploit rhino 1.7R3 source offsets
|
2012-05-08 13:17:01 -04:00 |
|
dolby
|
51a99cab66
|
enable assertions
|
2012-04-17 14:58:12 -04:00 |
|
dolby
|
803f664b15
|
automate building of test project for JDT wala tests
|
2012-04-17 12:51:43 -04:00 |
dolby-oss
|
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 |
msridhar1
|
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 |
|
dolby-oss
|
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 |