d394f8c558
Made cg & partialRoots fields, as well as the
...
constructor protected instead of private.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 03:29:31 +00:00
1821e542df
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2096 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:45 +00:00
e8543242d0
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2095 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:38 +00:00
52f13b2fc0
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2094 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:34 +00:00
3e33169ecc
add some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2093 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 20:44:04 +00:00
3109dfa77a
fixed @Override
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2092 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 22:33:18 +00:00
45d2024c25
removed an @Override
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2091 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 22:32:43 +00:00
99fbd5e1c5
misc cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2090 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 19:18:34 +00:00
cc46007145
change some WalaExceptions into IOExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2089 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 18:02:49 +00:00
a706751024
bug fix in infinite loop check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 16:14:28 +00:00
5129408291
add words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2087 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 15:42:58 +00:00
5dc5550b53
clean up model of arraycopy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2086 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 15:42:35 +00:00
4c973295e9
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2085 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 15:41:59 +00:00
f9549c3200
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2084 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 15:41:38 +00:00
6606741e2b
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2083 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-30 13:52:00 +00:00
2bb8e2cad8
add some fault-tolerance; throw an exception if bad things happen
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2082 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-30 13:51:43 +00:00
cc4c67d667
arraycopy fixes from marco
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:57:22 +00:00
cc1ea1a081
marco's updates
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2080 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:56:37 +00:00
f2c1acaabb
add an instance key to model the char[] contents of a string constant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2079 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:54:44 +00:00
de61e14c0b
better String models from Marco
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:38:10 +00:00
47fcf748ee
first phase of restructuring to fix string constant pointer analysis problems
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:22:50 +00:00
f6ebdd8eee
first phase of restructuring to fix string constant pointer analysis problems
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:22:39 +00:00
95042b1f2f
fix some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2075 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 17:18:43 +00:00
bb1fd3dc3f
1. delete obsolete benign.xml
...
2. more accurate model of array copy
3. bug fix in subtype test for class hierarchy
4. bug fix in OTF call graph fix point iteration
5. bug fix for RTA and ClassNotFoundException.
also misc. minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 04:01:25 +00:00
f11eb5ec7f
1. delete obsolete benign.xml
...
2. more accurate model of array copy
3. bug fix in subtype test for class hierarchy
4. bug fix in OTF call graph fix point iteration
5. bug fix for RTA and ClassNotFoundException.
also misc. minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2073 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 04:01:10 +00:00
c50b73dce1
delete unnecessary WalaException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2072 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-27 18:04:00 +00:00
914d348b90
fix some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2071 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-27 14:07:56 +00:00
19ab8669f9
bug fix for missing node
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2070 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-27 01:26:26 +00:00
2612c1b343
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2069 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-26 15:25:23 +00:00
097fef07a6
clean up comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2068 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-23 21:45:13 +00:00
9bca15572b
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2067 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-23 18:32:01 +00:00
b6ca712d47
some support for customized bypass method target selectors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2066 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-23 01:17:20 +00:00
698eaf87b6
delete redundant method CGNode.iterateSites()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2063 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-20 15:50:19 +00:00
bf842b7af9
delete redundant method CGNode.iterateSites()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-20 15:50:14 +00:00
0c6c55573e
delete redundant method CGNode.iterateSites()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-20 15:50:10 +00:00
73b248b2a9
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-20 15:02:18 +00:00
4aa0ca69cf
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-20 14:12:43 +00:00
93f189f42e
special CancelException support during tabulation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 16:24:11 +00:00
7a91db9fe6
generalize NumberedDominators; don't rely on INodeWithNumber
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 14:41:53 +00:00
c2d315fecb
cleanups and a bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 14:28:33 +00:00
22859a76b7
adapt to Dominators changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 00:42:59 +00:00
95705d01cd
refactor Dominators code to optimize handling of numbered graphs, and adapt other code to this change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 00:38:42 +00:00
b0acfd8663
make addEdge update both the source and destination nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2053 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-19 00:35:10 +00:00
dae160f975
fix comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2052 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 21:45:24 +00:00
bc0f7db457
no double-negations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 21:44:56 +00:00
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
254642d572
misc cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 21:01:09 +00:00
667b1c42ca
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:57:58 +00:00
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
0e36a5a553
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:57:45 +00:00
loginov
sjfink
schandra_sf
dolby-oss