sjfink
|
83b6561c03
|
more generics and IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1716 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-03 23:22:19 +00:00 |
sjfink
|
072b309a86
|
more IllegalArgumentExceptions and generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1715 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-03 19:23:51 +00:00 |
sjfink
|
8698432b6b
|
generics for control flow graph and filters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1714 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-02 14:45:56 +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
|
182a53ee8f
|
generics for control flow graph and filters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1712 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-02 14:45:41 +00:00 |
sjfink
|
cd78f3aa71
|
generics for control flow graph and filters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-02 14:45:07 +00:00 |
sjfink
|
a2194053d6
|
type parameters for IRFactory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-01 14:41:18 +00:00 |
sjfink
|
c0ee8e04b3
|
type parameters for IRFactory
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1709 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-01 14:41:14 +00:00 |
sjfink
|
a193724b5f
|
adapt to wala.core IteratorPlusOne change and clean up some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1708 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:51:15 +00:00 |
sjfink
|
c9ed34510d
|
adapt to wala.core IteratorPlusOne change and clean up some generics
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:51:10 +00:00 |
sjfink
|
d604c4c99e
|
hide IteratorPlusOne constructor
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1706 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:50:48 +00:00 |
sjfink
|
43e0a28d9e
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:20:12 +00:00 |
sjfink
|
2c3473b4ac
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:20:00 +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
|
1282f62f8e
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1701 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:19:52 +00:00 |
sjfink
|
a91ded2ba3
|
hide Pair constructor; misc. generics-related cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1700 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 23:19:45 +00:00 |
sjfink
|
ac54a54c1d
|
adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1699 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:50:13 +00:00 |
sjfink
|
c18fc8dea0
|
adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1698 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:50:08 +00:00 |
sjfink
|
03a70ad997
|
adapt to new generics in wala core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1697 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:50:02 +00:00 |
sjfink
|
1b9fee6563
|
delete obsolete code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1696 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:45:46 +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
|
eb91983f53
|
lots of new generics for fixed point solver hierarchy
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1694 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-31 21:38:28 +00:00 |
sjfink
|
33a14cf7aa
|
just format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-30 17:28:03 +00:00 |
sjfink
|
d2764d5672
|
spelling error in comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1692 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-30 17:27:32 +00:00 |
sjfink
|
a35a3e05fd
|
misc. cleanups to check for illegal parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1691 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-30 16:11:54 +00:00 |
loginov
|
1bb1c1e394
|
Accommodated Macs and classpath fragility wrt trailings spaces,
separators, and backslashes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1690 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-29 19:11:56 +00:00 |
sjfink
|
9a5d76d487
|
implement hasEdge
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1689 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-29 18:30:15 +00:00 |
sjfink
|
d95a6418f6
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1688 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-29 14:18:05 +00:00 |
sjfink
|
5f7d87caff
|
more IllegalArgumentException checks
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1687 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-29 13:13:24 +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
|
10cf6564e8
|
disable dubious equality simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1685 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 14:28:44 +00:00 |
sjfink
|
994f5a3c13
|
javadoc tweaks
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1684 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:22:36 +00:00 |
sjfink
|
fac5130054
|
another IllegalArgumentException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1683 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:22:19 +00:00 |
sjfink
|
1d80da0b78
|
add an assertion
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1682 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:21:56 +00:00 |
sjfink
|
d155c4b5c3
|
Patch [ 1782967 ] small documentation additions for demand pointer analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1681 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:21:20 +00:00 |
sjfink
|
3a00b38779
|
another IllegalArgumentException
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-28 12:20:20 +00:00 |
loginov
|
2c850563f0
|
Added quotes to classpath values to handle spaces.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1679 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 21:40:46 +00:00 |
sjfink
|
2225703e9a
|
bug fix for simplifying disjunctions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1678 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 19:45:35 +00:00 |
sjfink
|
76f3cc188f
|
better simplification for disjunctions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1677 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 19:14:11 +00:00 |
sjfink
|
bb33fa62c2
|
add an IllegalArgumentException check
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1675 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 13:47:51 +00:00 |
sjfink
|
95054cea79
|
add an IllegalArgumentException check
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1674 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 13:47:33 +00:00 |
sjfink
|
e573a6a414
|
bug fix for prettyPrint()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1673 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 13:46:57 +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 |
sjfink
|
8409af2af0
|
disable overly expensive quantifier simplification logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1671 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-27 13:46:28 +00:00 |
sjfink
|
19a0c8a5ad
|
more IllegalArgumentExceptions and declared exceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1665 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-24 15:57:40 +00:00 |
egeay
|
a11e72931b
|
Refactorings due to implementation of application for running string analysis along a WALA slice.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1664 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-24 12:37:01 +00:00 |
dolby-oss
|
2686ac8a67
|
bug fixes for using slicer on CAst-derived IRs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1662 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-24 01:53:02 +00:00 |
yahave
|
26f16be44a
|
make constructor protected instead of private so subclasses can call super instead of using static construction method
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1661 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-23 21:52:20 +00:00 |
sjfink
|
f5221d5024
|
fix for bug [ 1780094 ] HeapGraph: points-to and successor nodes don't match
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1660 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-23 18:26:13 +00:00 |
sjfink
|
806a90d349
|
tweak a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1659 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-23 18:25:38 +00:00 |