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 |
sjfink
|
d4ab99b2c1
|
use new call graph builder factories
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-23 18:25:12 +00:00 |
sjfink
|
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 |
yahave
|
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 |
yahave
|
2c8dd6d027
|
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@1655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-22 15:33:55 +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 |
yahave
|
8d5172fbc8
|
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@1653 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-22 15:33:46 +00:00 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
sjfink
|
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 |
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
|
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 |