4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
a36f1d862a
Adapt to RTC 2.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3944 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:01:50 +00:00
8129e1d75c
adapt to Eclipse Helios (3.6)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3919 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:04:44 +00:00
5cfbd1fbaf
fixes for names in archives in various Web formats
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3915 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:00:39 +00:00
4e59fb29e6
delete deprecated Assertions code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3759 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 17:55:33 +00:00
dcd951786e
delete deprecated code from shrike
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3736 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-17 18:55:50 +00:00
9a6173a1b8
Ishizaki-san's eclipse 3.5 patch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3734 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-17 16:31:31 +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
9398f745c0
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3659 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 14:38:07 +00:00
42bcf0010d
add IClass.isPrivate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3597 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-15 19:04:19 +00:00
ec02ad887c
comments and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3572 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-06 18:25:37 +00:00
d36f4f6d2b
format and clean up comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-06 18:13:30 +00:00
91d3a71c3c
format comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3570 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-06 15:57:37 +00:00
17c2aa7588
remove unnecessary ClassHierarchyExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 13:04:33 +00:00
948dab4d0d
remove ClassHierarchyException from IClass.getAllMethods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 12:50:17 +00:00
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
829145e97b
Nuke ClassHierarchyException from IClass.getSuperclass()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 19:52:34 +00:00
77101da20f
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 19:48:32 +00:00
e80dc6ef8c
refactor handling of constants in Shrike to abstract away from Java bytecode
...
introduce factories to create SSAInstruction objects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 18:33:07 +00:00
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
e08ed2663f
Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 15:24:42 +00:00
22f74154da
minor tweaks from Satish
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-17 19:19:29 +00:00
c09661773c
more IllegalArgumentExceptions and related refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3303 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 16:04:53 +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
d54d7867c1
adapt to core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3233 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 16:33:03 +00:00
552e754506
hash code patches from Y. Haviv
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-05 14:00:43 +00:00
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
155b094ff1
small generalization
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-01 22:29:00 +00:00
dc7ed95c31
patch from Marcelo Paterno for optional bundle dependencies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3101 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-01 21:10:50 +00:00
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
492de8c935
Spring support from Omri
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3073 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-10-30 19:00:30 +00:00
b298ad5125
minor performance fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3004 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-20 19:54:40 +00:00
ac3e4bed30
delete dead code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3003 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-20 19:54:13 +00:00
058e2f5f85
patch from omer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2951 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-06 11:49:58 +00:00
43653f686b
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-04 01:56:35 +00:00
7e9a265b9a
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2906 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-25 14:46:50 +00:00
dc891ec84c
change two assertions to IllegalStateExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2889 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-16 01:07:58 +00:00
c84676f086
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-18 14:02:54 +00:00
b49049ec3c
changed handling of ActionForm parameters to Struts entrypoints to use a synthetic factory method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2810 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 19:44:19 +00:00
673dd9d444
set Version as requested by Ashish Patel
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2782 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-04 15:24:47 +00:00
2807ddb556
nuke ResolutionFailure
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2736 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 13:31:04 +00:00
a2484f50dd
added method isStandardServlet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2714 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-18 17:52:52 +00:00
7d65c00516
publicize a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2688 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-06 21:40:30 +00:00
352b393a69
added support for Struts RequestProcessors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2687 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-06 21:13:49 +00:00
9100390fdd
bug fix when struts is not loaded
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2682 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 20:38:08 +00:00
7c44e6c36f
expose isConcreteStrutsPlugIn
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2681 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 20:26:10 +00:00
5693e5002b
support for struts PlugIn entrypoints
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2676 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 23:09:15 +00:00
40d1714c63
allow struts library ActionForms
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2663 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 16:46:28 +00:00
62565dc8dd
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2661 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 16:16:36 +00:00
86901e07e5
add code to pass in different ActionForm types to entrypoint
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2651 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 04:01:46 +00:00
dolby-oss
yinnon_haviv
sjfink
msridhar1