Commit Graph

451 Commits

Author SHA1 Message Date
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
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
sjfink 4f86c8500d delete Entrypoints interface.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1126 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:44:54 +00:00
sjfink a423104464 feature 1717405: cleanup MemberReference.getDeclaringClass() API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:31:12 +00:00
sjfink 9790e8a14f test for bug report 1714480, OOM for ClassHierarchy.getPossibleTargets
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1087 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 20:29:37 +00:00
sjfink 18c61cc6ce shared code formatter settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1068 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-07 13:21:06 +00:00
sjfink 590dbf0bd6 change "correct" (?) answer to 16
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-04 20:17:08 +00:00
dolby-oss d12cabee64 make test1 only count application statements to avoid library-dependent answer
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-04 17:14:59 +00:00
sjfink 78de93a13e new logic tests from Satish
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-02 17:13:29 +00:00
sjfink 8185a52d72 switch to more precise pointer analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-01 03:09:15 +00:00
sjfink 19f96af94d misc. cleanups and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1015 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-26 18:15:46 +00:00
sjfink 2dbd132c3a annotations and minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1006 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-26 13:52:53 +00:00
sjfink b152c208d3 add some javadoc
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@991 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 13:40:45 +00:00
sjfink 88638ff850 make IBasicBlock an Iterable<IInstruction>. Rename iterateAllInstructions() to iterator()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@876 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 10:50:26 +00:00
sjfink 893418ca3c Graph API change: Graph is now an Iterable of Nodes!
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@869 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:42 +00:00
sjfink c015be8a10 use exact match on method names
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-07 14:46:16 +00:00
sjfink 96ac39a49d delete obsolete junk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-01 14:59:56 +00:00
sjfink 7938061118 make ClassHierarchy implement Iterable<IClass>
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@784 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-23 17:20:59 +00:00
sjfink 4755779801 small cleanups and refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@782 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-23 14:54:49 +00:00
sjfink 3157c4e897 bug fix for new clinit processing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@613 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-30 17:34:44 +00:00
sjfink 1d7cd97400 change acceptance to accomodate 1.5 library warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-15 18:30:33 +00:00
sjfink 3c7541c782 testIO from Mangala
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-15 15:06:30 +00:00
sjfink 9e9dd4e387 new primordial call graph test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@568 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-12 16:39:20 +00:00
sjfink b676724bab initial revision
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@566 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-12 14:52:29 +00:00
dolby-oss 64fc9ca803 more tests for OffsetBitVector
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-11 17:51:04 +00:00
dolby-oss 165be7d5ac added a bit more testing of int sets
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-11 14:06:48 +00:00
dolby-oss b754d7005b a bit more testing of intsets
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-11 04:06:21 +00:00
sjfink 8f84bffd2d rename Shrike*Wrapper to just Shrike*
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@550 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-10 20:47:55 +00:00
sjfink 90c8eef219 publicize a static method
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-08 17:21:29 +00:00
sjfink c86da7c9d6 bug fix: restore default int set factory in a finally block
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-08 17:21:07 +00:00
sjfink 78c8e93f33 API change for IClass.getDeclaredMethods()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-01-02 16:50:46 +00:00
sjfink 39d3408dcf misc small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-12-21 19:03:04 +00:00
dolby-oss c14b6135f7 testing of new bit vectors and new semi sparse int set
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@513 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-12-21 18:05:57 +00:00
sjfink 9278cbf5d8 minor changes to properties and command-line management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-12-09 13:44:00 +00:00
sjfink 2e084319f2 delete failed tag attempt
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-11-22 18:05:37 +00:00
sjfink 68270cad6f mv stuff to trunk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-11-22 17:45:24 +00:00