sjfink
2beef22848
some cleanup of Stopwatch APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-07 17:18:23 +00:00
sjfink
8729d2e84e
significant refactoring and generalization of instance keys and CFA builders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2285 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 18:24:42 +00:00
sjfink
71abfc92a3
tweak code formatting template
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2262 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:31:00 +00:00
sjfink
bfbe4fdd2f
clean up and refactor some APIs surrounding file I/O and exclusions files. Needed in order to allow clients to use some APIs with application-specific exclusions.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2248 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 22:27:45 +00:00
msridhar1
d9912c2edf
fix classpath to make tests run
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2225 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-19 23:52:44 +00:00
msridhar1
5ac9b19f62
changes to make tests pass when analyzing 1.5 libraries
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2222 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-19 00:20:14 +00:00
sjfink
6abf745caf
revert code compliance level to 5.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2202 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:47:35 +00:00
sjfink
6fb624701f
fix bug [ 1850456 ] error "I is null" when slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2183 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:29:44 +00:00
sjfink
8b4cb4cb66
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 16:38:46 +00:00
sjfink
b66f73c8cd
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2174 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 00:43:03 +00:00
sjfink
aafd03dc5d
misc bug fixes and cleanups for new AnalysisScopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2173 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 00:40:14 +00:00
dolby-oss
da8aaf6cad
fix accidental checkin of eclipse 3.2 hack
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2164 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 21:50:15 +00:00
dolby-oss
1d62ddf160
remove EMF
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 20:47:35 +00:00
sjfink
2e09ff97a4
publicize validateCommandLine()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2158 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 18:17:03 +00:00
sjfink
fe7a51a643
delete debugging launcher
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2143 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:29:32 +00:00
sjfink
0d701fcab6
fix bug 1847274 GVSlice fails to check command-line arguments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:28:02 +00:00
sjfink
23b0e9a91c
bug fix and related API changes for interface type tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2105 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 19:49:39 +00:00
sjfink
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
sjfink
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
dolby-oss
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
sjfink
5c175e7898
more EMF obliteration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2037 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 19:41:32 +00:00
sjfink
beb56a76e7
more EMF obliteration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 19:20:50 +00:00
sjfink
d32ca89d7d
delete EMF junk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 18:44:27 +00:00
sjfink
2c4f34b99c
delete obsolete EngineTimings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 18:22:33 +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
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
sjfink
d4574334a8
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1941 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-24 19:25:23 +00:00
sjfink
ffaa299e1f
enforce exclusions file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1918 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:31:42 +00:00
sjfink
a6b057f778
clean up TypeInference API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1907 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 14:39:12 +00:00
sjfink
e91ffb5cc0
more IPCFG cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1878 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 16:01:41 +00:00
sjfink
992238fc1c
clean up some IPCFG issues
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1876 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-15 15:43:14 +00:00
sjfink
0aa26e327d
patches from manu to update demandpa for Java 6.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1865 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-12 12:34:23 +00:00
sjfink
7826d12a77
more aggressive exclusions in order to run quickly against Java 6.0 libraries
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 16:05:17 +00:00
sjfink
a73c6622c7
bump up source level to 6.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 14:26:01 +00:00
sjfink
28e6eb85ed
delete BVCDG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 15:46:37 +00:00
dolby-oss
f693ef03ed
test to expose data dependence issue for GetCaughtException in slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1772 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-19 18:01:59 +00:00
dolby-oss
ad59ddd178
slight extension to slicing test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-13 16:01:31 +00:00
dolby-oss
1166ba459b
slight extension to slicing test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1748 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-13 15:12:17 +00:00
dolby-oss
10e631a752
fix for compilation against junit4 libs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-07 11:52:24 +00:00
sjfink
564fd0d977
default factory for SlowSparseNumberedGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1739 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-07 02:10:04 +00:00
sjfink
4a249c1a12
generics for control flow graph and filters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1713 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-02 14:45:51 +00:00
sjfink
dfe352dd32
hide Pair constructor; misc. generics-related cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:19:56 +00:00
sjfink
d606af773b
lots of new generics for fixed point solver hierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1695 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 21:38:35 +00:00
sjfink
2528a636a2
disable dubious equality simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1686 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-28 14:28:48 +00:00
sjfink
8829f2bdcb
disable overly expensive quantifier simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1672 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-27 13:46:32 +00:00
yahave
af19e95cfc
fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1654 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:33:52 +00:00
sjfink
010f816824
more refactoring for semi-decision procedures
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1644 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-21 14:02:46 +00:00
sjfink
fb792d1799
updated by Eclipse 3.3.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1638 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-20 21:35:30 +00:00
sjfink
7317bfa7aa
bug fix for PointerAnalysisImpl.toString and tests for this
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1637 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-20 21:34:16 +00:00
sjfink
952e791d98
update launchers for Eclipse 3.3.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1627 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-17 19:53:41 +00:00