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
|
59e46916ce
|
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-12-28 17:03:27 +00:00 |
|
msridhar1
|
857e456806
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-04-03 04:08:05 +00:00 |
sjfink
|
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 |
|
dolby-oss
|
5d1673011a
|
killed obsolete class
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3798 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-01-25 15:01:33 +00:00 |
|
dolby-oss
|
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 |
|
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
|
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 |
|
sjfink
|
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 |
|
sjfink
|
6f96d41dc2
|
remove unnecessary InvalidClassFileException declarations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-05-29 14:23:29 +00:00 |
|
sjfink
|
9939142eae
|
switch from Assertions._assert to Java assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-30 13:16:52 +00:00 |
egeay
|
193fc85cdd
|
- Updated test cases to 1.7 syntax
- Added one-level directory structure to separate the constructs tested.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-29 18:17:20 +00:00 |
|
egeay
|
f5613864de
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-29 18:13:14 +00:00 |
|
dolby-oss
|
e66d5ed88a
|
approximate support for multithreaded code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-23 18:00:20 +00:00 |
|
sjfink
|
957cb2b8ca
|
deprecate Trace
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-09 20:31:14 +00:00 |
|
dolby-oss
|
b2bae33bab
|
generalize parsing of Descriptors to also handle languages other than Java
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-26 15:11:45 +00:00 |
|
sjfink
|
b1cdc4fecf
|
call new factories
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-13 17:06:09 +00:00 |
|
sjfink
|
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 |
|
dolby-oss
|
ed52225d4f
|
adapt to core changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-19 15:59:33 +00:00 |
|
dolby-oss
|
c904bf1e14
|
fixes to Java source test failures
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-02-02 18:40:10 +00:00 |
|
sjfink
|
10879ee189
|
remove unused import
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3172 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-14 15:53:05 +00:00 |
|
dolby-oss
|
624fb4c5ae
|
refactor polyglot-based java code in its own projects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3168 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-09 14:12:19 +00:00 |
|
sjfink
|
b1f300156e
|
patch from yinnon to make analysis scopes obey list order
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-17 19:52:27 +00:00 |
|
dolby-oss
|
3d93215690
|
remove file committed by mistake
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-16 15:22:35 +00:00 |
|
dolby-oss
|
7ce05498fd
|
refactor java source test code to ease making plugin tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-16 14:29:11 +00:00 |
|
msridhar1
|
5fd0909a7d
|
changed execution environment to J2SE1.5. Fixed some warnings.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-02 17:01:50 +00:00 |
|
sjfink
|
66884c2c37
|
fix Eclipse 3.4.1 compiler warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-01 19:40:43 +00:00 |
|
dolby-oss
|
866c6dc608
|
make dumpIR accessible to subclasses
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3082 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-11-06 17:58:11 +00:00 |
|
sjfink
|
6596d354ab
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2950 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:57:05 +00:00 |
|
sjfink
|
456eaa7978
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2912 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 15:00:47 +00:00 |
|
sjfink
|
a26f7e2035
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2853 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-27 19:43:53 +00:00 |
|
dolby-oss
|
ed8a7159e6
|
remove dependence from cast.java.test to eclipse.tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-27 13:29:35 +00:00 |
|
dolby-oss
|
85747870f1
|
refactoring to prepare for JDT front end
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-23 16:24:17 +00:00 |
|
dolby-oss
|
3719bfd410
|
refactoring to prepare for JDT front end
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-23 15:58:02 +00:00 |
|
dolby-oss
|
0345fbd563
|
fixes for break from arbitrary code block
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2713 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-18 14:18:26 +00:00 |
|
dolby-oss
|
7daeaf5ac2
|
commit patches to fix issues with uses of null (Thanks Evan)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-18 13:28:41 +00:00 |
|
dolby-oss
|
3502d708b1
|
added new test files for patch for inner classes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-19 19:19:42 +00:00 |
|
dolby-oss
|
fe12b77d85
|
committed patch from Evan Battaglia to support outer.new inner() form. Thanks!
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2592 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-18 15:18:00 +00:00 |
|
msridhar1
|
54f15e7c50
|
fix for mac
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2563 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-12 15:17:36 +00:00 |
|
sjfink
|
d3b19b68cb
|
just refactoring ... introduce 2 new packages in wala.util.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2444 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:04:26 +00:00 |
|
sjfink
|
9206386ec8
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2370 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 16:51:15 +00:00 |
|
sjfink
|
25d89740f1
|
tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2337 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 16:26:20 +00:00 |
|
sjfink
|
799e6cc6c5
|
tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2267 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-03 16:31:29 +00:00 |
|
sjfink
|
fa5af94335
|
clean up and refactor some APIs surrounding file I/O and exclusions files. Needed in order to allow clients to use some APIs with application-specific exclusions.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2251 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-02 22:28:04 +00:00 |
|
sjfink
|
07f528b5d1
|
revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2211 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-17 18:48:21 +00:00 |
|
sjfink
|
0b441f5b13
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-10 05:36:40 +00:00 |
rmfuhrer
|
1cce2cc801
|
Made populateScope() non-static so it can be overridden and derived classes can add other Modules to the analysis.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2118 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-06 15:01:07 +00:00 |
|
sjfink
|
5b2cc7b943
|
more generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 21:02:33 +00:00 |
|
sjfink
|
f757378ce3
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 20:57:49 +00:00 |
|
sjfink
|
5ed0e82014
|
add CancelException to interact with Eclipse progress monitors and thread it through some APIs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-13 16:18:44 +00:00 |