sjfink
|
ef322c4e36
|
more refactoring for semi-decision procedures
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1643 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 14:02:42 +00:00 |
|
sjfink
|
47fed4f34f
|
refactoring to support new ISemiDecisionProcedure
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1642 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 13:26:09 +00:00 |
|
sjfink
|
8832a4f6df
|
declare some unchecked exceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1641 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 12:51:35 +00:00 |
|
sjfink
|
da7aa76217
|
more precondition checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1640 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 02:46:01 +00:00 |
|
sjfink
|
864d634bf1
|
more precondition checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1639 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-21 02:45:30 +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
|
97083468b7
|
bug fix for PointerAnalysisImpl.toString and tests for this
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-20 21:34:08 +00:00 |
|
sjfink
|
a013bb006e
|
cleanups for illegal arguments and unsupported operations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1635 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-20 20:16:43 +00:00 |
|
sjfink
|
2b1cffddfd
|
IllegalArgumentExceptions and minor refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1634 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-20 14:49:39 +00:00 |
|
sjfink
|
d395f22242
|
fix pathological case in getTakenSuccessor
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-20 14:16:07 +00:00 |
|
sjfink
|
c2a17a5fbc
|
IllegalArgumentExceptions and minor cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1632 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-20 13:38:41 +00:00 |
loginov
|
47cc86cea8
|
Added method computeBackwardThinSlice that takes a Collection
of Statements as seeds.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1631 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 21:50:45 +00:00 |
|
sjfink
|
7f5f313f0c
|
more checks for IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1630 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 21:37:41 +00:00 |
|
sjfink
|
1f67550d3c
|
add more checks for IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 21:09:49 +00:00 |
|
sjfink
|
41ec2ce95f
|
nuke some extraneous control dependence edges to parameter passing statements, as per conversation with Alexey.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1628 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 19:54: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
|
d0db9f480e
|
patch from Bruno Dufour ... look in system classloader as a last resort
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1626 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 19:11:25 +00:00 |
|
sjfink
|
41070719f2
|
bug fix in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1625 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 18:55:24 +00:00 |
|
sjfink
|
1d90e214bd
|
Bug [ 1775433 ] Off by one error in BasicHeapGraph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1624 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 13:09:49 +00:00 |
|
sjfink
|
5fd01b4b48
|
add a small comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1623 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 12:41:41 +00:00 |
|
sjfink
|
10f50fb4bf
|
changes to OrdinalSetMapping API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-14 17:04:04 +00:00 |
dolby-oss
|
4401975206
|
fix for inserting casts for binary ops
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-14 16:10:58 +00:00 |
|
dolby-oss
|
3be623a375
|
add primitive conversions where appropriate for binary ops
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-14 15:10:13 +00:00 |
|
dolby-oss
|
93380d8d04
|
bug fix for meets of primitive types
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1619 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-14 15:02:18 +00:00 |
|
sjfink
|
93dd4a26e5
|
comment out weird implementation of getMethodSignature()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1615 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 21:45:33 +00:00 |
|
sjfink
|
66afbbc77d
|
misc. fixes with decorated printing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1614 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 19:24:32 +00:00 |
|
loginov
|
b8ad396610
|
Added the getter for the TypeReference member (type).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1613 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 17:07:38 +00:00 |
|
sjfink
|
c7f6e3adee
|
Patch 1773175 Graph with labeled edges
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1612 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 17:04:25 +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
|
cb8c89e341
|
update copyright statements with EPL
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 13:09:59 +00:00 |
|
dolby-oss
|
a25d8404d8
|
fix javac compile issue
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1608 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-11 02:29:39 +00:00 |
|
sjfink
|
46ebb8e58f
|
demandpa tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-11 01:17:22 +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 |
|
loginov
|
04723f925d
|
Pulled out CISDG into a top-level class and made a CISlicer,
from which ThinSlicer inherits with specific dependence options.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1605 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-10 21:21:07 +00:00 |
|
loginov
|
40cd33fbc1
|
Pulled out CISDG into a top-level class and made a CISlicer,
from which ThinSlicer inherits with specific dependence options.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1604 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-10 21:19:13 +00:00 |
|
sjfink
|
77c3924f13
|
demand-driven pointer analysis from Manu Sridharan
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1603 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-10 20:45:35 +00:00 |
|
sjfink
|
94ea5895fe
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-10 18:02:29 +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
|
8943e75f41
|
small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 17:39:35 +00:00 |
|
sjfink
|
bf34052894
|
small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 17:39:32 +00:00 |
|
sjfink
|
79e48950d1
|
small cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-09 17:39:29 +00:00 |
|
sjfink
|
f325394745
|
introduce AbstractJavaAnalysisAction
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1597 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 15:29:57 +00:00 |
|
dolby-oss
|
6927a87adb
|
add factories and objects to allow slicer to be extended to handle multiple languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 12:01:45 +00:00 |
|
dolby-oss
|
30f8a45b76
|
add factories and objects to allow slicer to be extended to handle multiple languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 12:01:12 +00:00 |
|
dolby-oss
|
fd91f9a3ba
|
add factories and objects to allow slicer to be extended to handle multiple languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-08 12:00:10 +00:00 |
|
sjfink
|
6814f05939
|
fix typo in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-07 20:12:30 +00:00 |
|
sjfink
|
4bac3bbd1b
|
remove size() method; too slow
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1592 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-07 20:12:14 +00:00 |
|
sjfink
|
96d6e30b3b
|
implement more stuff
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1591 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-07 18:03:21 +00:00 |