cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
2a9eced391
rename com.ibm.wala.cast.java.jdt.test to com.ibm.wala.ide.jdt.test
...
It looks like this change was made partially before, but maybe not
completed? Anyway, this gets our JDT test launchers to work again.
2013-03-30 11:40:18 -07:00
3718319e58
don't commit test_project.zip
2013-03-30 08:41:45 -07:00
76408b6d1a
Add the source file to com.ibm.wala.cast.java.test.data
...
Previously, I only included the source file in the zip file but just
realized the zip file is auto-generated from the
com.ibm.wala.cast.java.test.data/src folder.
2013-03-30 09:52:28 -05:00
eed055a69a
Test case exemplifying Unexpected type: class com.ibm.wala.analysis.typeInference.JavaPrimitiveType
...
This is a simple test case that illustrates the issue with type inference
on a String + some primitive.
The code is
package javaonepointfive;
public class TypeInferencePrimAndStringOp {
public static void main(String[] args) {
int a = 2;
String result = "a" + a;
}
}
2013-03-29 17:21:06 -05:00
fae5c86114
fixes for users of JDT interfaces, such as Miniatur/MemSAT
2012-10-01 13:11:10 -04:00
a1589d833a
refactoring of support for tests with Eclipse projects
2012-09-24 15:43:51 -04:00
60db861a5f
complete conversion to Unix line endings
2012-09-04 16:05:49 -07:00
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
ff464402ec
forgot this one
2012-08-29 17:24:04 -04:00
319eacc529
merge changes and changes for atomic sets work
2012-08-29 16:35:34 -04:00
419d1d50cc
Merge branch 'github_master' and remove Eclipse dependencies.
...
Specifically, rewrite ProgressMaster to not depend on Eclipse, and move
to com.ibm.wala.util. Now, we can use timeout-based code in packages
without introducing an Eclipse dependency.
2012-08-28 12:39:52 -07:00
9f732622f0
don't require Eclipse 3.8 in version dependencies
2012-08-28 10:02:48 -07:00
0518b5242b
more JS stuff
2012-08-22 12:15:46 -04:00
4a850a9510
added the com.ibm.wala.ide.jdt project
2012-08-21 18:52:09 -04:00
53cad9e7ba
more separation for JS eclipse stuff
2012-08-21 16:06:01 -04:00
72e8dc9098
reorganize stuff for using JavaScript stuff from Eclipse
2012-08-21 09:48:53 -04:00
1965001200
adapt to changes in source position mapping
2012-07-02 13:38:59 -04:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
dfe06b8ff3
changes to Web source mapping to exploit rhino 1.7R3 source offsets
2012-05-08 13:17:01 -04:00
bad82b77ed
Merge branch 'master' into eclipse-dep
2012-04-17 15:15:10 -04:00
51a99cab66
enable assertions
2012-04-17 14:58:12 -04:00
803f664b15
automate building of test project for JDT wala tests
2012-04-17 12:51:43 -04:00
c116f16823
got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -04:00
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
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
Juergen Graf
Manu Sridharan
Nicholas Chen
dolby
dolby-oss
sjfink
msridhar1