5f7c86eebb
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:14:29 +00:00
f5ac0c543f
Merge branch 'wala' into master
2011-07-12 19:50:39 +00:00
1a70dd8f4d
refactor to allow custom ordering of nodes to color
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-11 19:50:39 +00:00
46f2a33315
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 18:12:35 +00:00
5181b6789f
add method isElementOf()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:38:40 +00:00
17029a7110
support some migration from deprecated Filter to Predicate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:32:41 +00:00
7709561c74
patch from Josh Auerbach
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-20 19:30:08 +00:00
03da73a30f
delete obsolete ExplicitEdge class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-09 14:12:00 +00:00
15c202f8e6
Welsh-Powell graph coloring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-01 21:47:15 +00:00
f8d6f5b917
Merge branch 'wala' into master
2011-05-27 12:25:53 +02:00
b84657d1a9
add some new classes from wala
2011-05-26 16:43:36 +02:00
d6a7828730
attempt to fix compile breakage with generics, manifesting under javac on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:16:08 +00:00
ebe49342b3
remove unnecessary @SuppressWarning annotation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:06:39 +00:00
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
2d3052bede
intraprocedural nullpointer exception analysis
2011-04-11 16:28:51 +02:00
5c43668553
Merge branch 'wala' into master
2011-04-11 16:40:48 +02:00
1858943369
a few more os queries, from Rodric
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-01 14:34:46 +00:00
d7ebb57ee6
add substasks to progressmonitor
2011-03-30 13:03:16 +02:00
0fab9778c3
add a comment about a resource leak problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-18 12:46:14 +00:00
1edb4436f7
utility empty set
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-17 15:02:19 +00:00
6ac8089f74
simpler implementation of recursive delete
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-10 01:56:54 +00:00
35c00c24c6
add a paranoid check for f.exists() in deleteContents()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 14:22:05 +00:00
df3f3bacd1
squash some compiler warnings. no intended semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 11:40:00 +00:00
03517ec393
add quoteString call in attempt to avoid windows space bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 22:49:19 +00:00
1b9e48ede5
reduce default sleep interval
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 21:16:08 +00:00
0d5cc5940b
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 23:00:10 +00:00
ac77758d0d
tweak default buffer sizes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4053 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:55:28 +00:00
c47f3488a0
add some generics. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4052 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:27:34 +00:00
d32831b82a
suppress some compiler warnings. no semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:40:50 +00:00
a9e1ef2a4f
add a wildcard generic. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:24:26 +00:00
7cc762c87b
fix some compiler warnings. no semantic changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:15:56 +00:00
29b114928e
minor cleanups. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:00:56 +00:00
c4082442f2
minor cleanups. no intended semantic changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-01 20:36:55 +00:00
5025a68116
patch from Josh A., to support Eclipse plugin configuration stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-28 13:14:53 +00:00
5a042f3f69
tighten typing for NumberedGraph, using covariance as allowed as of java 1.5
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4042 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:46:53 +00:00
1681a4222b
added simple factory method make(int[])
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4041 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:45:17 +00:00
129ce380a4
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:57:35 +00:00
5bd9c18b20
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4039 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:41:32 +00:00
5e4e9f010e
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:20:30 +00:00
d7d6b048b6
refactoring and moving the launcher utilities to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:31:29 +00:00
6416445fe4
refactor to move stuff into wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:13:34 +00:00
e8da3e3d8d
move some functionality to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4030 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:56:35 +00:00
3cfdabc85b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:24:29 +00:00
sjfink
Juergen Graf
dolby-oss