7e251836b9
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1737 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-07 01:56:00 +00:00
e531f25825
Another attempt to make Macs happy. They seem to dislike quotes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1736 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-06 19:00:53 +00:00
459fc8e857
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1735 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-06 16:10:41 +00:00
3c79282139
add setProgramArgs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1734 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-06 16:09:10 +00:00
20721bf8be
enforce factory for ReverseIterator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1724 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-05 15:14:08 +00:00
fbb8c66434
tweak generics to allow subclasses to mutate sentences
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-04 14:45:44 +00:00
5ad86df436
just javadoc comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1719 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-04 14:45:16 +00:00
a3755a70ae
fix for seemingly Sun-Javac-specific compile error
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1718 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-04 14:35:08 +00:00
b9b20a28b5
more IllegalArgumentExceptions and related cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1717 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-04 00:58:16 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
ff1c0ea48b
more IllegalArgumentExceptions and related refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1657 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 16:33:45 +00:00
ce1454f2a9
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@1656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:34:01 +00:00
008193ebb2
Don't hardcode "java.exe". Just invoke "java". Should work on both Windows and others.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1652 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:17:43 +00:00
14ea8419da
add getWalaCorePluginHome
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1651 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 14:50:00 +00:00
8de2873988
bug fixes for xtraClasspath
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1650 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 14:49:34 +00:00
7559698b00
pass java.library.path on to subprocess
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1649 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 12:49:49 +00:00
ef2a00b775
significant revamp
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1648 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-21 19:55:23 +00:00
cbb22704e1
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1647 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-21 19:54:59 +00:00
471f7bed24
more IllegalArgumentExceptions and small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1646 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-21 17:18:52 +00:00
bf04ab3750
more IllegalArgumentExceptions and small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1645 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-21 17:18:00 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
5a6b2b2ea1
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1590 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 17:53:38 +00:00
2b50775867
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 17:53:05 +00:00
22d36524b7
expose getModuleEntry() for ShrikeClass
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 16:01:13 +00:00
03481563dc
add size()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1587 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 15:58:10 +00:00
776654da74
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1586 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 15:57:50 +00:00
cd02b714cb
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 15:57:26 +00:00
4b1cd2d59b
implement getPredNodeNumbers()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 15:57:08 +00:00
88b748bfb4
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 14:26:03 +00:00
ae3aafdeb0
bug fixes with block numbers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1582 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 14:25:23 +00:00
a5c790148e
small API generalization to accomodate generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1581 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 14:25:08 +00:00
178a3a9c65
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1580 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 14:17:07 +00:00
cb2cee96a7
minor changes to api for creating slices from multiple starting points
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 13:09:33 +00:00
bbf288bd93
fixes for weird compilation problems with Sun javac 1.6 on amd64
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 13:08:33 +00:00
0337530470
more aggressive simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 12:30:15 +00:00
fb0ede33a7
add an entrypoint as a convenience
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1575 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-06 20:49:15 +00:00
9cd1d68082
generalize variable types to support real numbers too
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-06 18:32:48 +00:00
6e2c16bc0b
delete silly comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-06 18:32:01 +00:00
ef48033e9a
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1570 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-06 18:31:44 +00:00
b31268787f
Added a way to provide its own class loader for accessing the exclusion file.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1566 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-03 18:40:09 +00:00
86bbb68c6c
Debug statement moved under a VERBOSE control statement
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1564 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-02 00:00:44 +00:00
c6e67b25df
Added a setter for entrypoints.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1563 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 21:47:27 +00:00
b6dc13e5be
Added support for building a control dependence graph without exceptional edges.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1562 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 19:15:54 +00:00
d2dff82c1d
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-26 16:31:50 +00:00
9cd060cab6
delete troublesome STAR
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-26 13:36:33 +00:00
6248128168
more aggressive simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1553 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-26 04:19:46 +00:00
11816f9d46
fix simplifier bugs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-26 03:39:19 +00:00
b61c677496
BasicBlock.iterateNormalInstructions() [thanks N.Kidd]
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1550 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-25 18:28:43 +00:00
6c1e2fadaf
tweak order for getAllInstructions()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1549 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-25 17:05:22 +00:00
3e28954000
turn off debugging
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1548 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 21:31:10 +00:00
1f72a200df
add some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1547 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 21:30:56 +00:00
7093fb1d44
Added the missing creation of the AnalysisCache.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 19:56:23 +00:00
2d2f8ab803
add a check for Illegal argument
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 18:18:36 +00:00
f46b44323f
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 18:18:07 +00:00
0373bb304d
more simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1542 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 17:10:38 +00:00
9bdda731ef
add getMaxTerms() to ICNFFormula
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1541 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 14:40:19 +00:00
426722c7fe
add a new factory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1540 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 14:39:37 +00:00
4ec42416b7
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-24 14:39:17 +00:00
bd5d81924c
an optimization
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1538 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-23 17:12:52 +00:00
0852fb888d
more simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-23 16:40:26 +00:00
d48a31459c
more substitution
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1534 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-23 15:59:04 +00:00
0cb5387310
more simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-23 13:27:04 +00:00
ddfd29153a
more simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1531 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-23 12:34:59 +00:00
cea5b583dd
generalize parameterized type
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1530 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 21:46:34 +00:00
c149635f44
Dillig: add handling of annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 21:34:55 +00:00
99f293ea2e
support catch blocks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 19:21:13 +00:00
a75db57b52
implement iteratePis()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:35:54 +00:00
bbf2c44a1c
add more assertion checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1525 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:35:33 +00:00
93c931eb46
bug fix .. make sure unreached paths are initialized to TOP
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:34:55 +00:00
702a92c18f
fixed documentation of getTakenSuccessor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 18:08:36 +00:00
dc02de8f5a
bug fix: iteratePhis() should not return null instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 16:10:53 +00:00
59368d41ac
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1520 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:41 +00:00
0fba6b0b49
allow more customization of DefUse
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 20:42:05 +00:00
155aaf9f50
rename getTrue/FalseSuccessor to getTaken/NotTakenSuccessor and check for IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1510 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 17:27:18 +00:00
bee4e6aa96
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:59:31 +00:00
f05e79871d
Refactored visitArrayLoad() and visitArrayStore() to make
...
reuse easier in derived ConstraintVisitors. (Used by X10
ConstraintVisitor implementation, which has its own form of
array-related IR instructions.)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 20:43:56 +00:00
bdf8d44f7e
more pretty printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1503 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 19:27:02 +00:00
65dc43bdd6
turn off debugging
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1502 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 15:37:14 +00:00
a4fefec9ad
more SSA functionality
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1501 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 14:04:32 +00:00
b9465e1bcc
replace broken ExpandedControlFlowGraph with hopefully somewhat less broken ExplodedControlFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1499 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:46:35 +00:00
2c4fd1fc93
add some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:41:34 +00:00
dd7daab3ef
bug fix so iterator() does not return trailing null values
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:40:10 +00:00
9248040783
add factory make()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-17 13:39:21 +00:00
6276d4a217
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:49:48 +00:00
ba67d6d915
remove silly comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:42 +00:00
8a9429e86b
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:21 +00:00
1ea1885612
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:47:32 +00:00
7971640032
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:46 +00:00
a86747d201
misc. fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:26 +00:00
b96ca4eacc
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:06:15 +00:00
1f42098a1e
bug fix in getBlockForInstruction()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:33:34 +00:00
ed58e0ee92
ExpandedCFG cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:18:26 +00:00
1bfe7cb052
fix toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:53:22 +00:00
5c86c9791d
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:34 +00:00
8f7854efb8
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:20 +00:00
c1316cdca5
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:19:19 +00:00
5c89985acf
add some comments
...
tweak SSASwitchInstruction.toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 21:34:04 +00:00
cb4012d939
Added code to methods missing implementations.
...
Added a make method for a partial graph with a
given set of roots and a given set of nodes.
Added checks for containment of pred/succ
nodes to get[Pred/Succ]NodeNumbers, which
were missing the checks. Made getNode/getNumber
methods return null/-1 for nodes not in partial
graph (instead of throwing an exception). May
reconsider this later.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 20:02:00 +00:00
d602c65f6b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:55 +00:00
2cc59a6805
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:38 +00:00
0d96ce5155
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1464 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 18:21:50 +00:00
f88a68b4ba
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:58 +00:00
f44a8a8a8b
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1460 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:38 +00:00
7ed7c4d986
Added comment suggesting to make getPointerAnalysis() public.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1459 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:49:07 +00:00
7de9694e84
small bug fixes and cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:01:41 +00:00
47defd33aa
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1457 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 12:52:14 +00:00
9be999a666
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1456 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 12:51:54 +00:00
01f7c2ea9e
more simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 19:08:11 +00:00
d80deb4bf0
substitutions based on pattern matching
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 13:57:51 +00:00
a4f28d1212
more simplifying
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 00:09:15 +00:00
12d8bed2b6
add debugging message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1445 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 22:34:08 +00:00
3314f2fcfb
some refactoring and cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1444 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 22:12:49 +00:00
2014b00b11
small comment cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:47:39 +00:00
059761fb70
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1438 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:12 +00:00
31af915002
fix hashCode/equals
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 20:04:41 +00:00
6a04d78285
remove silly comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 20:04:24 +00:00
1e1e574287
misc bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1430 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 19:47:31 +00:00
5b8952c3e4
Updated plugin dependencies for Eclipse 3.3 release.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1429 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 19:03:45 +00:00
561ccc13e3
more simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 18:45:43 +00:00
fd1a1d4cae
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@1422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 16:24:58 +00:00
fa0c9d98b4
Added file extension support for resolving source files
...
in the classpath. Defaults to "java" for basic Eclipse
projects, but can be overriden for other Eclipse projects
for other languages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:14:19 +00:00
ed11059c98
more CNF simplification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1416 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:03:43 +00:00
6542c0eb0f
generics cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1415 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 15:03:20 +00:00
096729ad2c
clean up some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1414 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 14:49:11 +00:00
fb41447efc
Fixed the package name and removed unused import.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1413 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 13:39:11 +00:00
da80588f40
first cut at partial callo graph implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 12:20:37 +00:00
d0b38b144c
remove pointless comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1410 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:43:21 +00:00
74f1c6e9e9
getTerms() and related functionality
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:43:00 +00:00
0eb0061768
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 21:42:27 +00:00
1aa25ae96a
support for parsing arrays in descriptors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1407 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 16:33:18 +00:00
078deea908
CNF and related support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1404 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 14:50:20 +00:00
56cda5a9e2
bug workaround for troubling control dependence case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1403 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-10 14:49:40 +00:00
c55404d1ff
a bug fix in ExpandedControlFlowGraph, and misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1400 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 16:38:08 +00:00
e9d5490c1e
enhance a debugging message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 16:37:19 +00:00
70b22bf4c6
misc slicing related bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:58:17 +00:00
3ad2f328d7
ensure subclasses override equals and hashcode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1397 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:51:12 +00:00
ee561b0e80
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:50:40 +00:00
4d1d0fc94f
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:50:13 +00:00
a304c60f79
more type parameters from Manu
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-07 01:57:47 +00:00
sjfink
loginov
dolby-oss
yahave
egeay
pistoia
rmfuhrer
smarkstr