dolby-oss
|
329c19e679
|
refactoring to bring reusable test code out of the PHP projects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2018 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 01:53:34 +00:00 |
dolby-oss
|
9d980f3901
|
refactoring to bring reusable CAst translation code out of the PHP and JavaScript translators, and into the generic Cast projects. Also, adapted native code to compile on Mac OS X Tiger
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2017 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-16 01:51:42 +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
|
471e6b1b3e
|
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@2005 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-13 16:19:07 +00:00 |
sjfink
|
0e041c99f2
|
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@2004 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-13 16:19:01 +00:00 |
sjfink
|
dab36d8d6f
|
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@2003 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-13 16:18:48 +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 |
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
|
851aec7d00
|
use java 6.0 regression exclusions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1991 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-08 21:52:19 +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 |
dolby-oss
|
e6cceb103b
|
support for 1-CFA analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-06 04:14:53 +00:00 |
dolby-oss
|
f10ec15eb8
|
support for 1-CFA analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-06 04:14:03 +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
|
f79938a9b8
|
tests of long sets
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1976 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-30 18:42:26 +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 |