sjfink
0e659c0a80
delete unnecessary WalaException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 19:07:25 +00:00
sjfink
b8433625c1
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2218 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 18:41:19 +00:00
sjfink
e0d67601f4
tweak some APIs for ISSABasicBlock and ExplodedBasicBlock
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2217 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 16:41:01 +00:00
sjfink
b58bf27b90
fix buggy logic with invokestatic and NPE
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 19:01:46 +00:00
sjfink
44308a4e10
revert code compliance level to 5.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2207 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:47:57 +00:00
sjfink
d6575e7608
add support to capture stderr
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:41:06 +00:00
sjfink
2f2a0a1990
misc. small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 15:29:44 +00:00
sjfink
b131a86e1d
fix Bug 1852241 possible hash collisions for CGNodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 14:31:17 +00:00
dolby-oss
2a1832b968
fix for empty file of classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 17:09:48 +00:00
dolby-oss
d2cf19e4d1
fix for empty file of classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 15:04:31 +00:00
dolby-oss
620cabcdd5
simplify some code to find resources
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2195 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 04:29:20 +00:00
sjfink
9cb0bf4d92
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 21:47:49 +00:00
schandra_sf
da5c6936da
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 16:45:23 +00:00
schandra_sf
87d90e5045
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2187 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 16:44:17 +00:00
sjfink
28d0de9eb9
clean up some utilities dealing with analysis scopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2186 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 15:07:11 +00:00
sjfink
a40cfbee50
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:32:40 +00:00
sjfink
04b98cae44
fix bug [ 1850456 ] error "I is null" when slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2182 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:29:39 +00:00
sjfink
cbb17997e2
fix behavior of labeled graphs so they act like a subtype of normal graphs.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:05:04 +00:00
sjfink
2394ee48f4
patch [ 1850224 ] Union operator for IntSets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 12:26:56 +00:00
sjfink
e54194b623
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2179 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 18:04:23 +00:00
sjfink
ebedfde191
patch 1850117, fix some unguarded assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 17:08:17 +00:00
sjfink
378427225c
misc bug fixes and cleanups for new AnalysisScopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2171 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 00:39:50 +00:00
sjfink
b5a00f73d4
fix build path
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2166 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 22:32:10 +00:00
sjfink
e02b9917da
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2165 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 22:31:56 +00:00
dolby-oss
17a8b62204
remove EMF
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2161 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 20:46:05 +00:00
sjfink
421ea35de8
tweak some debugging code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 18:22:06 +00:00
sjfink
c09e8b46bc
bug fix for "abstract interface"
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2159 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 18:21:29 +00:00
sjfink
cda2d0e6de
initial check-in
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2157 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 18:36:08 +00:00
sjfink
4b73238606
clean up Language and AnalysisScope interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 16:33:58 +00:00
sjfink
4092d80c0e
add @Override annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:28:33 +00:00
dolby-oss
4f4f941ddd
refactor to allow SSAAbstractInvokeInstruction to represent invokes with multiple return values, as needed by some languages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:23:13 +00:00
yahave
3603e9b4a2
allow subclasses to access cg and pointeranalysis (make fields protected instead of private)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2129 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-09 16:53:11 +00:00
yahave
2f0c0072ba
allow direct construction of class hierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-08 21:21:24 +00:00
dolby-oss
99cfde2030
fix for Sun javac compile issue
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2124 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-07 01:48:21 +00:00
schandra_sf
1293d730f9
Getting rid of @Overrides
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 22:24:05 +00:00
sjfink
8fe21cc50d
delete some obsolete incorrect debug code.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2122 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:57:50 +00:00
sjfink
6bebc54148
bug fix: assume Java language by default.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2120 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:46:15 +00:00
sjfink
dc6b9afd0e
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2119 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:29:50 +00:00
rmfuhrer
a66327a038
Weakened assertions that insisted that the type being allocated isArrayType(); now the types must either answer isArrayType(), or not be from the Java ClassLoader.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2115 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:55:50 +00:00
rmfuhrer
10dfaf51b3
Now maintains a set of "compatible" Languages that contribute types to the given ClassHierarchy, which has a unique root type.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2114 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:53:29 +00:00
rmfuhrer
728b86d817
Now maintains a set of Languages (supplied by the client) that are involved in the current analysis, and provides API for identifying the set of "base languages" (relative to the specified inheritance relationships among Languages), each of which induces a distinct ClassHierarchy.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:49:22 +00:00
rmfuhrer
0c87273fd8
Default implementation of buildAnalysisScope() now adds the Java Language to the scope.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:47:00 +00:00
rmfuhrer
7278cf71ff
Extracted base Language implementation to a separate class for better reuse.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2111 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:32:59 +00:00
rmfuhrer
da1ac21d12
Added API to Language for representing the hierarchy of languages, which is necessary for WALA ClassLoaders to correlate loaders to Languages and know which languages share a ClassHierarchy.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:31:45 +00:00
sjfink
6723d33683
bug fix and related API changes for interface type tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2104 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 19:49:03 +00:00
sjfink
0c837f78ce
add support for enable-assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2098 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 16:20:39 +00:00
loginov
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
schandra_sf
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
schandra_sf
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
dolby-oss
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
dolby-oss
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
dolby-oss
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
sjfink
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
sjfink
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
sjfink
4cdb933fb3
more EMF obliteration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:00:27 +00:00
sjfink
eb9abad76c
more EMF obliteration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2038 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 19:41:36 +00:00
sjfink
bdf7e695b9
more EMF obliteration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 19:20:57 +00:00
sjfink
b64b6c9666
delete EMF junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 18:44:31 +00:00
sjfink
c069db572e
delete obsolete EngineTimings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2028 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 18:22:07 +00:00
sjfink
457799ac9a
publicize a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2016 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-15 20:03:19 +00:00
sjfink
8e089b528d
guard a debugging statement with DEBUG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2015 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-15 15:18:04 +00:00
sjfink
4913361df3
TypeInference bug fix: be conservative for unresolved classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2014 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-15 15:13:38 +00:00
sjfink
9ef8df7a3f
bug 1831696 : Dead phi statements in the IR
...
Fix iteration of phis from a BasicBlock
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2013 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-14 15:34:07 +00:00
sjfink
6c4f1307d5
debug with System.err instead of Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2012 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-14 15:33:40 +00:00
sjfink
c098944ad8
Use LinkedHash stuff by default
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2011 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-14 14:35:52 +00:00
sjfink
a8bdd943dd
words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2010 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-14 13:44:26 +00:00
sjfink
da522dcff3
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2007 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-13 18:20:54 +00:00
sjfink
2a1213789b
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@2006 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-13 16:19:15 +00:00
sjfink
2879446c66
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2001 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-13 15:22:44 +00:00
sjfink
8e109ffcdd
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2000 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-12 21:54:27 +00:00
sjfink
5e1f673e83
improve decision for EQ
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1999 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-12 17:18:29 +00:00
sjfink
1c4cb0ec62
slightly stronger decision for NE
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1998 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-12 16:22:04 +00:00
sjfink
ab51a624e1
improved LE logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1997 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-09 21:47:19 +00:00
sjfink
f29e267638
generalize handling of number constants
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1996 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-09 18:43:17 +00:00
sjfink
1fa4596730
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1995 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-09 15:54:14 +00:00
sjfink
a79b6ad81c
support LongConstant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1994 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-09 15:53:51 +00:00
sjfink
b91b9d8c55
another bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-08 22:40:21 +00:00
sjfink
72b99ed91f
bug fix to handle array types correctly
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1992 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-08 22:23:35 +00:00
sjfink
52a725e7ee
a few small renamings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1990 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-08 21:14:46 +00:00
sjfink
b73d347ca6
small logic improvements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1989 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-08 17:03:45 +00:00
sjfink
6bf8d70749
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1988 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-08 15:59:28 +00:00
sjfink
465c247fa1
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1984 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-05 13:40:33 +00:00
sjfink
7ee2f3abe1
bug fix in ExplodedBasicBlock.isCatchBlock()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1983 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-01 20:42:17 +00:00
sjfink
b86b58b345
make ctor protected instead of private
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1982 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-01 18:51:28 +00:00
sjfink
f1a5e9119d
refactoring to support more general subtypes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-31 19:38:40 +00:00
sjfink
8795297ff3
better simplification for some arithmetic relations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1980 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-31 14:05:07 +00:00
sjfink
d85f817cb3
expose summary edges in TabulationResult API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1978 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 21:45:54 +00:00
sjfink
3320e5c206
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1977 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 21:40:15 +00:00
dolby-oss
20a1114886
further support for long sets, making it easier to migrate code from int to long sets by providing similar apis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 18:41:32 +00:00
sjfink
5028742391
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1974 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 15:56:51 +00:00
sjfink
ae3693ea72
bug fix for recursive supergraphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1973 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 15:56:31 +00:00
dolby-oss
4e85322a7b
change method types in the tabulation solver to allow clients to provide IntSets rather than SparseIntSets; this makes it easier to use the IntSetUtil factory that can return any kind of IntSet. Only the interfaces have changed; the solver still makes SparseIntSets internally as before
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1972 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-30 01:39:15 +00:00
sjfink
6362f3ffe3
introduce a factory for empty MutableSparseIntSet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1971 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-29 13:18:26 +00:00
sjfink
dc3395b0ac
bug fix for ldiv, lrem divide-by-zero exception
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1970 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-28 15:54:47 +00:00
sjfink
f8cc5eb8b3
small tweak to factory signature
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1969 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 20:28:28 +00:00
sjfink
817bb38075
bug fixes to work in Eclipse workspace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1968 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 19:10:06 +00:00
sjfink
fabf2d568f
bug fix to avoid redundant exceptional edges
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1967 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 18:18:36 +00:00
sjfink
c0dbd75e4e
replace Trace with System.err.println for debugging
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1966 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 18:18:11 +00:00
sjfink
1295103e08
bug fix for tail recursion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 18:17:38 +00:00
sjfink
81b889dad5
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1964 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 16:07:29 +00:00
sjfink
760f2ec3b7
bug fix with interface instance keys
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1963 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 16:07:10 +00:00
sjfink
2e98bc8778
some debug support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1962 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 16:06:46 +00:00
sjfink
2ddd9ea414
better printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1961 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 16:06:29 +00:00
sjfink
16110c8b1c
ModRef factory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1960 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 14:54:02 +00:00
sjfink
098ab6e07d
bug fixes and cleanup of TypeBasedPointerAnalysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1959 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 14:53:39 +00:00
sjfink
9915d91b5f
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1958 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 14:53:07 +00:00
sjfink
a5138ff7f3
nuke WalaException from CommandLine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1957 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-26 14:52:48 +00:00
sjfink
a92dc921a8
some optimizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1955 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-25 15:03:06 +00:00
sjfink
0055ba00ed
add a debug statement
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-25 14:07:05 +00:00
sjfink
59241d6dab
a new factory for MutableMapping and some logic cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 20:20:07 +00:00
sjfink
9d2dd66260
more logic cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1942 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 19:26:31 +00:00
sjfink
266867a0ab
add getVariables() to IVocabulary
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1940 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 17:57:25 +00:00
sjfink
2738a9c243
more logic cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1939 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 16:43:46 +00:00
sjfink
fd15107ed4
delete domain from vocabulary
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1938 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 16:02:07 +00:00
sjfink
8a161b4c13
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1937 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 15:49:11 +00:00
sjfink
199949b6f3
misc logic cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 15:48:53 +00:00
sjfink
9cb2fb1d33
bug fix for call-none-to-return in backwards problems.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1934 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 18:58:05 +00:00
sjfink
8883870d21
delete a @SuppressWarnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1933 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 15:15:36 +00:00
sjfink
2d5ae39721
CNF optimizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1932 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 13:26:53 +00:00
dolby-oss
1cb4357842
make path finder return multiple paths (if they exist) when find() is called repeatedly
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1928 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 04:03:10 +00:00
dolby-oss
918c197c5f
make toString more helpful
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1927 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 04:02:23 +00:00
sjfink
7c4d385539
add 3-parameter factory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1926 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 18:16:36 +00:00
sjfink
56c78bd64e
more trivial cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1925 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 17:19:42 +00:00
sjfink
e8d80fb04a
show phi instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1924 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 17:19:28 +00:00
sjfink
23c40e02a5
spelling
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1922 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:34:05 +00:00
sjfink
8e329d91b6
change semantics of primitivetype.meet to handle boolean/int meet as desired
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:33:17 +00:00
sjfink
9eb07d255e
delete obsolete code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:32:38 +00:00
sjfink
0074f4e6c5
enforce exclusions file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1919 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:32:17 +00:00
sjfink
262e1aef40
clean up TypeInference API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1909 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 14:39:22 +00:00
sjfink
b3b7829be2
some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1905 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:13:09 +00:00
sjfink
0b7fcaac3a
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1904 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:12:53 +00:00
sjfink
ffc641ebde
make ctor protected
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1903 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:12:34 +00:00
sjfink
bb71b48bae
more decision logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1902 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:12:16 +00:00
sjfink
642f6d2347
bug fix for exceptional return value from call-to-none
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1901 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:11:49 +00:00
sjfink
ec6ba69332
bug fixes for exceptions from idiv and irem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:11:28 +00:00
sjfink
35e1382327
bug fix for null IR
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:11:08 +00:00
sjfink
f945aaf95a
misc. bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 13:10:48 +00:00
dolby-oss
cdeaf96fc3
enable getting options
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1894 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-17 15:17:12 +00:00
dolby-oss
5673fb5ec8
minor API tweaks to use Set and Collection consistently
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1893 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-17 15:16:38 +00:00
dolby-oss
1e78c51f91
use SSAAbstractInvokeInstruction to work with CAst
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1892 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-17 15:15:25 +00:00
dolby-oss
b5ee69fa79
turn down the verbosity level
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1891 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-17 15:14:33 +00:00
dolby-oss
2040035f6f
fix to use BasicBlockInContext for exit blocks in transverse edges from collapsed nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1890 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-17 15:14:00 +00:00
schandra_sf
7258e02966
Removed an @override to allow 5.0 compiler
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1889 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-16 20:59:10 +00:00
sjfink
bd7e97e5c4
tabulation and visualization cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1888 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-16 18:10:17 +00:00
sjfink
dc0185e8bf
tabulation and visualization cleanps
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1887 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-16 18:09:57 +00:00
sjfink
96ba7cee90
delete import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1886 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 20:29:01 +00:00
sjfink
d949572f22
tweak some debugging support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1885 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 20:28:33 +00:00
sjfink
6fb32d45ed
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1884 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 20:23:14 +00:00
sjfink
30b445f94f
CGNode implements IClassHierarchyDweller.
...
misc. small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1881 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 16:34:02 +00:00
sjfink
2e9e5dec38
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1880 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 16:32:31 +00:00
sjfink
84a2708f51
more IPCFG cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1879 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 16:01:44 +00:00
sjfink
cffb55a1e2
clean up some IPCFG issues
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 15:43:20 +00:00
sjfink
154b910cc4
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1871 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 18:17:27 +00:00
sjfink
03ba73d164
introduce tabulation factories
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1870 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 15:06:53 +00:00
sjfink
eb62fa4f77
fix a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1869 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 15:06:31 +00:00
sjfink
16059c47b1
patches from manu to update demandpa for Java 6.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1866 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 12:34:28 +00:00
egeay
c9fbcdcac0
Update of plugin dependencies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1861 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 16:12:55 +00:00
sjfink
c18918a9b2
add isJava16Libraries()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1858 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 16:04:39 +00:00
sjfink
eb9542dace
bump up source level to 6.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 14:25:46 +00:00
sjfink
caf7c625fc
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-09 16:07:13 +00:00
sjfink
64b366b585
add a new propositionalSimplify() entrypoint
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-09 14:26:01 +00:00
dolby-oss
3e5a267a9d
bug fixes to make SubtypesEntrypoint work again, and to handle the resultant phi nodes in the root method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1831 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-08 14:13:20 +00:00
dolby-oss
4176a675cc
bug fixes to PrunedCFG for getSuccNodes and getPredNodes. Make pruned order reflect original order, and remove nasty bug allowing duplicates
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1830 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-08 14:12:28 +00:00
dolby-oss
9f5946b163
maker order of instruction iteration in basic blocks better reflect logical code order by putting synthetic GetCaughtException statement at the front of the list instead of the end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1829 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-08 14:11:28 +00:00
sjfink
c659585751
irem bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1828 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 18:31:48 +00:00
sjfink
54b7e36e92
add a custom toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 17:58:49 +00:00
sjfink
5febf1d64c
delete comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 17:58:21 +00:00
sjfink
78b3434037
implement getMethod() and getCaughtExceptionTypes()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1825 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 17:32:25 +00:00
sjfink
d445f0861a
change ControlFlowGraph.getExceptionalSuccessors to return a List, in order of increasing catch scope
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 15:48:46 +00:00
sjfink
516adf98aa
add IntVector.getMaxIndex()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 15:47:15 +00:00
sjfink
3efa160e7a
delete BVCDG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 15:46:41 +00:00
sjfink
6f08023cec
add copyright statement
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 12:40:21 +00:00