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 |
|
sjfink
|
f02253094a
|
export demandpa tests, as requested by anonymous patch submitter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1611 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 16:11:11 +00:00 |
|
sjfink
|
4a3b5ad800
|
update copyright statements with EPL
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1610 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 13:10:06 +00:00 |
|
sjfink
|
c220b2964b
|
demandpa tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-11 01:17:11 +00:00 |
|
sjfink
|
8c3ed19de3
|
migrate to use Eclipse 3.3 IApplication interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1601 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 18:14:08 +00:00 |
|
sjfink
|
dab123ec06
|
generalize variable types to support real numbers too
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1572 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-06 18:32:36 +00:00 |
dolby-oss
|
01287b8891
|
make SimpleThreadEscapeAnalysis look for wala.properties to find JRE libs, as well as the running JRE. Also, minor clean-ups and fixes to that example
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-31 14:13:27 +00:00 |
|
sjfink
|
e194aed9b5
|
use a less aggressive pointer analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 21:06:57 +00:00 |
|
sjfink
|
69791866d7
|
fix simplifier bugs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-26 03:39:04 +00:00 |
loginov
|
14691f40b2
|
AbstractAnalysisEngine now creates the AnalysisCache.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1546 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-24 19:57:28 +00:00 |
|
sjfink
|
3355b6207e
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 16:40:16 +00:00 |
|
sjfink
|
e567ca1f24
|
more tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 15:59:24 +00:00 |
|
sjfink
|
ab03f8f9e9
|
more simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-23 13:27:10 +00:00 |
|
sjfink
|
c0aab9e7ed
|
decouple IR caching from AnalysisOptions with a new AnalysisCache object
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1516 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-20 15:19:57 +00:00 |
|
sjfink
|
f499379791
|
change accept criterion due to presumed bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1500 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-17 13:47:00 +00:00 |
|
sjfink
|
a6e4894120
|
use Hash factories everywhere
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 21:08:35 +00:00 |
|
sjfink
|
42cb878f27
|
restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1423 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-11 16:25:06 +00:00 |
|
sjfink
|
e0c8537094
|
organize imports
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-10 14:51:18 +00:00 |
|
sjfink
|
3cefd7fb6b
|
new type inference test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1401 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-10 14:48:32 +00:00 |
|
sjfink
|
fb99c02c38
|
turn on assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1394 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-09 15:49:34 +00:00 |
|
sjfink
|
10492c7298
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1379 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:07:24 +00:00 |
|
sjfink
|
b9cb75f490
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1372 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:06 +00:00 |
|
sjfink
|
f3bd02c77b
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1369 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:44 +00:00 |
|
sjfink
|
0d92f19829
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1357 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:02 +00:00 |
|
sjfink
|
d4e7f31285
|
export slicer package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1349 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 19:53:16 +00:00 |
|
sjfink
|
27937ca35b
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:05:03 +00:00 |
|
sjfink
|
0869d265ab
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1336 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 11:03:04 +00:00 |
|
sjfink
|
0e243489e8
|
test reported slicing bug: unreproduced
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 10:55:52 +00:00 |
|
sjfink
|
e3b01a2fab
|
add comment about Mac OSX path
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-27 18:38:01 +00:00 |
|
sjfink
|
f9bcd6e7db
|
new LocalNames test from alexey; move other local names tests there.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1315 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-26 19:54:40 +00:00 |
|
sjfink
|
6ae987ffaf
|
introduce factory for Iterator2Collection
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-21 16:13:39 +00:00 |
|
sjfink
|
627d96cc1e
|
excludes awt, swing, and com.sun.corba.*
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-15 14:47:28 +00:00 |
|
sjfink
|
544288781d
|
support exclusions file as command-line argument
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-15 14:46:54 +00:00 |
|
sjfink
|
99733a89a9
|
remove some unnecessary IClassHierarchy parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1253 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-06 20:15:25 +00:00 |
|
sjfink
|
4c9b43b808
|
delete extraneous launchers
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1252 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-06 18:07:42 +00:00 |
|
sjfink
|
d263256581
|
bug fix from recent refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 18:53:56 +00:00 |
|
sjfink
|
5bb36f7559
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 18:50:52 +00:00 |
|
sjfink
|
54e14d22e6
|
1) change implementation of CGNode hierarchy to avoid type parameters.
2) nuke BasicEntrypoints
3) tweak interface to InstanceKeyFactory for constants
4) refactoring for HeadlessWALA application
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 18:50:31 +00:00 |
|
sjfink
|
a0cfeac136
|
1) adjust somewhat to recent API changes.
2) fix equals() bug in Statement
3) general cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1224 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 14:06:17 +00:00 |
|
dolby-oss
|
30f01f77a4
|
adapt to wala changes for cross-language call graphs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1213 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 03:27:41 +00:00 |
|
sjfink
|
b8cb3a7e13
|
move here from incubator project
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1211 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-31 17:55:14 +00:00 |
|
sjfink
|
94db32b299
|
cleanup up some old comments and rename InferGraphRootsImpl to InferGraphRoots
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-30 19:11:59 +00:00 |
|
sjfink
|
448741b9d3
|
misc. cleanups and refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-18 17:30:49 +00:00 |
|
sjfink
|
c370805c48
|
small cleanups for TypeInference
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1139 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-16 19:31:47 +00:00 |