3a3c9afaca
optimizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2879 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-10 14:49:38 +00:00
4dd7972a30
add utility for subprogress monitor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2878 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-07 02:01:45 +00:00
d9cb829c65
demandpa: bug fixes, refactor some multi-dim array code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-04 21:13:40 +00:00
91d48ef389
add support for loggers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2876 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-02 21:55:08 +00:00
6cf7447209
bug fixes for EclipseProjectPath
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2874 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-01 22:28:31 +00:00
f19ae9a625
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2871 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 19:37:19 +00:00
ddeff975a8
some error handling
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2868 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-29 18:56:02 +00:00
229180b76e
remove bad comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2863 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 20:48:31 +00:00
671a6e57df
bug fixes, debugging prints
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2862 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 20:34:00 +00:00
b1add32430
more UTF-8 fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2861 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 18:39:52 +00:00
821e94469e
use UTF-8 in comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2857 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 18:00:26 +00:00
9f37dfede6
add a debugging message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2852 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-27 19:40:40 +00:00
78ea9c621f
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2849 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-27 12:33:29 +00:00
85747870f1
refactoring to prepare for JDT front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 16:24:17 +00:00
018559d4de
clean up imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2838 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:49:49 +00:00
351f31473f
bug fix for I/O behavior on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:41:01 +00:00
976f82e748
standard string-related type references
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:40:25 +00:00
50dd4919eb
use FileProvider to find exclusions file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2831 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:39:37 +00:00
8fe9467be8
remove references to Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2830 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-22 19:17:23 +00:00
1a44da403d
delete obsolete file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2829 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-21 17:43:03 +00:00
88f860f12b
tweak pretty printer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2828 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-20 21:22:40 +00:00
9f38f1f981
new algorithm for partially balanced tabulation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-20 15:10:35 +00:00
f221f2c6d3
a little prettier printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-19 19:30:52 +00:00
aa07659a5d
new method pointsToPassesPred() for demand points-to analysis; various refactorings; some new tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-16 19:19:53 +00:00
3cf1e88204
don't reuse AnalysisCache .. it can become stale
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-16 16:21:33 +00:00
3ee24d710e
added PABasedMemoryAccessMap; added getHeapModel() to MemoryAccessMap
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-15 18:04:43 +00:00
17cd230c25
generalize getNumberOfImmediateSubclasses to handle array classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2816 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-13 20:52:34 +00:00
072fb04c32
generalize some shrike implementation details to play more nicely with others
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2814 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-13 19:24:57 +00:00
4af31cd9bd
some more assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2813 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 21:18:42 +00:00
9edd0fbe3c
back out ill-considered buggy stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2811 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 20:04:05 +00:00
e778862165
expose a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2809 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 19:31:58 +00:00
52b784a274
formatting and a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 19:14:59 +00:00
3b28caa8af
switch internal representation to use Bimodal int sets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 18:08:54 +00:00
29a6fec4b0
reset count when adding a seed
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 17:36:29 +00:00
2728e0e107
reset count on each call to solve()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 17:16:44 +00:00
f1ddb98c43
revamp deterministic hash code support for a few key classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2804 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 14:22:34 +00:00
6c88b93d26
optimizations for IR caching when context is irrelevant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 13:34:35 +00:00
af88727114
avoid some calls to clone()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2798 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 12:25:00 +00:00
4931b4b80b
avoid use of clone() in performance-sensitive method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2797 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 00:27:31 +00:00
deb84db770
add AbstractStringBuilder to stringish list
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2796 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 00:27:06 +00:00
ba8283d087
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2795 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 00:26:43 +00:00
c502e1a354
tabulation and IPCFG bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2794 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-09 20:53:38 +00:00
a06b77838d
bug fix for a corner case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2792 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-08 19:40:41 +00:00
0f1cffa6da
resurrect old API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 19:05:58 +00:00
3754daf135
- Added new constructor with a SDG already built.
...
- Refactored scanForMod and scanForRef to use a transmitted ModRef instance, so that for instance CAst ModRef implementation can be used.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2789 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 18:25:51 +00:00
0d4183b914
NormalStatement is a natural subclass of StatementWithInstructionIndex
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2788 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 18:22:37 +00:00
c398d1febf
ParamCaller is an implementer of ValueNumberCarrier interface contract.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2787 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 18:21:00 +00:00
941e3e773e
Added toString method to print encapsulated regular expression.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2786 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 18:20:03 +00:00
3c2d191407
fix bug 1958786: PropagationCallGraphBuilder failes on restrictive exclusions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2785 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-07 00:36:17 +00:00
d881607f09
close input stream ... patch from satish
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2784 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-06 17:42:24 +00:00
70f1f62118
bug fix in AbstractFlowGraph, small cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2779 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-02 14:41:08 +00:00
4ba4cb5cb5
small cleanups in IntVector implementation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2778 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-02 13:59:54 +00:00
54e2baf510
bug fix: race condition with garbage collector on soft reference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2776 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-02 01:09:43 +00:00
2fc776af9c
minor change to demand points-to interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-30 17:18:11 +00:00
386367352a
clean up debugging a little.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2774 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-30 16:23:52 +00:00
27f886b7af
restructure tabulation with multiple return sites.
...
delete some obsolete ExplodedSupergraph crud.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2773 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-30 13:59:51 +00:00
96952cd431
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2772 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-28 22:24:43 +00:00
5c91ea7014
publicize a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2771 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-25 22:14:51 +00:00
3cbf73acba
implement a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2770 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-25 18:43:48 +00:00
ba068e10e8
add method for constructing a Selector from a String
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2769 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-25 18:42:15 +00:00
1017f1e883
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2768 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-25 18:41:45 +00:00
b801877fdb
bug fix: treat canIgnore() condition consistently
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2766 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-24 18:59:34 +00:00
e2ed8c686e
bug fix: handle SSAComparisonInstructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2765 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-22 22:00:09 +00:00
7021d49790
added a utility method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2764 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-22 18:47:25 +00:00
ce75f30cd8
tweak some debugging code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2762 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-21 17:26:48 +00:00
8bdf08b27d
lazy calculation of callee params
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2761 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-15 19:56:50 +00:00
fc495cf49e
bug fix for empty graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2760 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-15 12:03:50 +00:00
11f7a55b2e
fix for mac
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2759 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-13 20:15:01 +00:00
3f293dcc60
various refactorings for demand points-to analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2758 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-12 21:58:39 +00:00
279bed224d
more optimization
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2756 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-10 23:32:48 +00:00
90a5719e5c
optimizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2755 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-10 22:59:57 +00:00
3988bbda96
added debugging code to do type checking of points-to sets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2752 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-08 16:44:30 +00:00
7856cc7773
delete half-baked logic package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2750 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 21:05:42 +00:00
417e36fb79
Added support for additional reflective methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2747 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 19:46:01 +00:00
cbcee6624f
change getPossibleTargets() to handle <init> methods specially
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2745 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 17:54:00 +00:00
1e19994dc1
small bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2744 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-03 22:12:44 +00:00
eb9cd0e509
added comments and some debugging prints
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2743 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-03 19:50:25 +00:00
3f3d55e9b8
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-03 12:24:56 +00:00
589575f23c
added some debugging statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-02 20:19:19 +00:00
4bb4e509ff
add logic that arrays implement Cloneable and Serializable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 21:50:45 +00:00
8a39de940b
bug fix in equals/hashcode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2739 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 21:45:38 +00:00
367b2e8893
added another generated cast instruction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2738 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 19:52:31 +00:00
5021e63f29
nuke ResolutionFailure
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2737 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-01 13:31:52 +00:00
2fb3f17eb7
fix some hashcode/equals stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2735 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-31 22:22:51 +00:00
f89380f996
fix hashcode problems and misc. minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2734 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-31 15:47:58 +00:00
f35d93dc7d
small refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2732 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-25 17:23:23 +00:00
027d6ebf99
some optimizations for more lazy traversals
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2730 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-24 22:10:26 +00:00
e922764915
some tuning of modref utilities
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2729 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-24 21:11:45 +00:00
67a48d501e
nuke an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2728 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-21 15:36:30 +00:00
9b266acea0
bug fixes and assertions for reflection corner cases
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2727 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-21 15:31:29 +00:00
3ab4cbeb7d
bug fixes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2724 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-20 18:10:13 +00:00
ce44e1528b
comments and format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2723 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-20 17:56:50 +00:00
97533008ae
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2722 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-20 17:56:20 +00:00
681a188b3e
couple of small bug fixes, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2721 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-20 12:30:31 +00:00
0b60bd2282
bug fix in PointType; handle loadclass in TypeInference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2720 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-19 20:33:30 +00:00
355ac58ee3
bug fix for local value number
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2718 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-19 20:22:30 +00:00
fd110a1f08
add support for pi instructions in synthetic methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2715 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-18 18:57:20 +00:00
7f6fbcf4db
add context for Arrays.toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2709 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-17 14:13:25 +00:00
3cfb242e6e
add a PANIC message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2708 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-17 14:12:12 +00:00
109ca3ffc7
changed isDominatedBy to use equals()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-15 16:19:12 +00:00
76f1bc4309
make constructor public
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2706 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-15 16:10:15 +00:00
742c917d1b
added a method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-14 03:15:17 +00:00
e48b76ad21
tweak NotFormula stuff to work better with CNF
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2704 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-13 19:41:27 +00:00
e1adf2113b
simplification tweaks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-13 19:04:50 +00:00
0d61fe515d
added a debug print
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-13 16:30:23 +00:00
3adc123347
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2701 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-13 00:11:30 +00:00
5ff4eb490a
remove TabulationSolver check again, with proper modification for Slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2700 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-13 00:11:10 +00:00
38ae053c61
reverted removal of check; it broke the slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2699 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 20:07:45 +00:00
ef5642a632
Added guards to boolean constant tests to avoid NPE for null constant.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2698 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 19:34:57 +00:00
6bd2ddd8d4
Corrected the comment regarding the form of method signatures.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2697 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 19:31:29 +00:00
e51c1b0dd6
remove check in compareElements since we're now passing PathEdges to hasPriorityOver()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2696 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 14:42:34 +00:00
d0d0fcdeb2
add a type parameter to TabulationDomain for tabulation solver node type, seen in PathEdges
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2695 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 05:00:50 +00:00
dcd1767962
generalize TabulationDomain.isWeakerThan to take PathEdges, rename
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2694 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-12 04:03:45 +00:00
6e92ca411b
fixed bug in handling of arrays in TypeBasedPointerAnalysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-11 17:56:22 +00:00
db975c4f1f
remove use of Trace.println, and comment out some especially verbose printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2692 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-10 20:57:50 +00:00
727e6c9190
increase debug level required for printing worklists
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2691 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-10 03:28:02 +00:00
7743b16407
bug fix: add null check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2690 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-08 00:25:54 +00:00
c2a5ff3f27
refactor so that for partially balanced problems, all the flow functions are provided by an IPartiallyBalancedFlowFunctions object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2689 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-07 23:32:52 +00:00
72edfadd09
insert a PANIC message for file system weirdness, rather than crashing.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2686 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-06 19:29:30 +00:00
88917bac3c
added ability to print worklists
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2685 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-06 18:26:42 +00:00
a2c6cad49e
optimized substitution routines to not allocate unnecessarily
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2684 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 22:19:27 +00:00
cd23bac3bc
micro-optimizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2683 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 22:18:21 +00:00
20e2d495b3
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 20:12:19 +00:00
04cab258c1
Added support for interrupting the construction of the call graph after a configurable maximum number of nodes is reached.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2677 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 06:24:51 +00:00
044d5197e0
comment out debug assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2675 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 21:03:51 +00:00
8b6e552ef0
better handling of negations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2674 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 20:37:40 +00:00
660f3a6707
more reflection support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2673 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 19:48:51 +00:00
2639595789
delete obsolete ContextSelector.mayUnderstand()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2671 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 18:55:47 +00:00
b4439c7a76
added explicit null check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2667 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:31:51 +00:00
39c0119125
debugging code added
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2666 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:31:03 +00:00
833691e23f
allow for dead array writes in memory access map
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2665 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:30:33 +00:00
24faecfe13
added a paranoid check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2664 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 17:29:22 +00:00
c6f64a2734
added assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2662 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 16:22:46 +00:00
d427d32b6b
tweak some debugging statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2660 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 15:01:02 +00:00
e3e49f9cd9
bug fix from Roee Hay
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2659 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 13:35:38 +00:00
745fd7d5a4
Simplify MethodTargetSelector and ContextSelector interfaces; delete optimizations based on allSitesDispatchIdentically and mayReturnSyntheticMethod.
...
Also some Cast bug fixes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 21:32:45 +00:00
bf8549d599
added context parameter to SyntheticMethod.makeIR()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2652 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 04:02:33 +00:00
79bbb026bc
delete IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2649 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 01:48:19 +00:00
7cb7c6311f
cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2644 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-02 17:34:31 +00:00
f604add130
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2643 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-02 01:53:55 +00:00
71d980f8f1
reflection patches from Marco
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2641 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-02 01:40:00 +00:00
d77357fd5a
bug fixes for reflection processing of arrays
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2639 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-29 22:14:56 +00:00
32a7543322
fix bug with phi instructions in synthetic IRs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2637 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-29 21:42:17 +00:00
671e93ca37
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2635 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-29 18:28:57 +00:00
54e1f8ff05
just whitespace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2634 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-28 19:39:24 +00:00
a04a8d67dc
sort CNF clauses before simplification for greater determinism
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2632 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-28 15:38:30 +00:00
cef4846776
make two methods final
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2630 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-27 20:44:54 +00:00
bd5843f098
implement getMethods()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2626 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 15:24:10 +00:00
2c388b7744
support Method.invoke
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2625 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 04:51:39 +00:00
c28c7446bc
support Class.getDeclaredMethod
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2623 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 04:11:19 +00:00
1f00cb916c
refactoring to generalize some reflection processing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 03:42:26 +00:00
89e0138002
clean up imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2619 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 03:09:44 +00:00
1ff3ab7361
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 03:09:29 +00:00
7fab510406
change some too-precise dependences
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2617 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 01:46:57 +00:00
24feb87755
just whitespace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2614 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-25 20:15:01 +00:00
9472396187
fixes to use HashSetFactory and HashMapFactory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2613 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-25 16:37:51 +00:00
58c63a7463
delete PointerFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-24 00:05:09 +00:00
4cda7820a0
Patch [1900368] bug fix for OrdinalSet.unify
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-23 20:58:05 +00:00
c1120427f5
support getConstructors()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2603 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-22 01:44:47 +00:00
75bfab8605
support for Constructor.newInstance()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2600 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-21 18:44:22 +00:00
08dd657098
small crash fix; get edges for METHOD_EXIT nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-20 18:20:49 +00:00
995975db78
fix bugs for some missing exceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-15 21:42:55 +00:00
e9f3eb3eaa
misc bug fixes with synthetic factory methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2587 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-15 20:48:57 +00:00
d3e2dcf781
expose ponter analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2586 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-15 20:48:38 +00:00
3fbf2884b8
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-14 20:23:49 +00:00
bc6648e771
add ability to output SVG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-14 20:23:46 +00:00
314927349f
bug fix .. don't count work in inner loop.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-14 17:16:45 +00:00
c6d7efaddf
add some synchronization to avoid deadlocks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2581 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-14 14:22:02 +00:00
07399bc2c8
support partial call graph/ pointerAnalysis when computation canceled
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2580 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-14 14:15:10 +00:00
2b4ea4a088
thread IProgressMonitor and CancelException through many APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2579 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 22:35:01 +00:00
84d0253841
new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant).
...
Thanks Marco.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2575 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 18:49:56 +00:00
6ebce2d0f5
bug fix for putfield on unresolved field
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 18:46:35 +00:00
a3ac4d3a45
bug fix for previous bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2570 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 00:09:46 +00:00
2904150420
add a couple of getters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 00:09:21 +00:00
4eba933775
added getSentencesRelevantToConstraints() to ITheory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2568 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 22:36:44 +00:00
245ec9c7d5
Provided access to the ContextItem data structures.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2567 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 21:50:33 +00:00
43de249423
Put the ContextKey public in order to access the ContextItem from a CallingStringContext.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2566 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 21:45:58 +00:00
acd3f509c1
add a check for an IllegalArgumentException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2565 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 18:33:22 +00:00
33237c372f
implemented ArrayClass.getAllMethods()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2564 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 17:32:16 +00:00
2288a5fc2a
bug fix for corner case of putfield on null constant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2562 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 13:41:55 +00:00
efe864998d
added method getTargets(IClass,MethodReference)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2561 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 01:40:08 +00:00
b2c1f52313
bail out on putfield to unresolved field
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2560 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 00:06:30 +00:00
8d6a5fcae4
generalize to allow subclassing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-11 21:27:49 +00:00
217a4b4456
format and tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-11 19:56:52 +00:00
b67d1a86fe
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-11 19:51:55 +00:00
7550f071bc
more robust handling of Arrays. copying methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-11 19:19:21 +00:00
75006e83dd
implement some functionality for METHOD_EXIT statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-10 23:10:43 +00:00
c07cffe4fe
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-10 23:10:28 +00:00
8a42bbb018
remove troublesome assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-08 02:09:30 +00:00
49639c7ed9
protect against some pathological context explosion with synthetic factory methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2549 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-07 22:41:26 +00:00
d0ebf2e4be
delete some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2548 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-06 21:03:50 +00:00
ca484ceb78
slightly generalize API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2546 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-06 16:05:26 +00:00
fffb7ac8bc
bug fixes and new tests for new Class.forName processing.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-05 21:21:33 +00:00
bceae49558
enhance reflection support to evaluate Class.forName() on a string constant.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2542 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-05 19:09:23 +00:00
1ceeeebe3f
generalize support for partially balanced tabulation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-05 15:56:32 +00:00
bd571cf8d4
reuse summary edges and solver in main loop
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 22:48:28 +00:00
ba23480667
more generalization for partially balanced parens
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2534 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 22:36:13 +00:00
60f024800e
restructure in support of sharing partially balanced tabulation logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 22:05:24 +00:00
c38525d185
tabulation API generalization
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 21:01:34 +00:00
84e00a667a
refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2531 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 20:42:25 +00:00
adef205942
shorten verbose interval
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2530 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 17:12:25 +00:00
3fc57b3c3b
delete obsolete SDGView
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2529 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-04 14:55:31 +00:00
cce25261d6
bug fix when computing exceptional flow with unresolved exception type
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 22:18:30 +00:00
417303c2fd
generalize tabulation APIs to support partially balanced paranthesis search, starting from an arbitary point in the exploded supergraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 21:26:10 +00:00
e4d6ccd8c9
implement getNode()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 21:25:13 +00:00
dd77245489
adding file
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2525 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 00:47:38 +00:00
7ae19032d6
further refactoring to allow for a larger variety of refinement policies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 00:47:06 +00:00
7f0cda3da1
make it Iterable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 00:45:56 +00:00
ab3316115f
more informative toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-01 00:43:26 +00:00
15f92abbc0
remove NPE declaration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2520 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 20:26:02 +00:00
72b86cc296
expose path edges to subclasses
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2519 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 19:18:30 +00:00
ac26773e16
Made ctor protected so it can be called from subclasses. Added method isPrimordialJarFile() so subclasses can prevent certain jar files from being processed by the Primordial loader and handle them themselves (e.g. to let the X10Primordial loader handle the X10 runtime jar).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2516 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 15:56:19 +00:00
601e90eed2
fix expensive hash codes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 15:04:32 +00:00
bb291e1521
refactoring to allow for varying handling of recursion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2513 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 03:41:25 +00:00
ddad3a7464
further refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2512 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 03:21:58 +00:00
3227e1bdb3
add debugging code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 03:21:39 +00:00
23394c2276
small bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2510 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 03:21:09 +00:00
40ef82c2d1
fix a typo in a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2509 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 21:53:00 +00:00
daa945ef24
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 21:03:17 +00:00
b16bcb5bf3
adding files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 19:47:55 +00:00
f8df8a93c7
refactored refinement policies for better code sharing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 19:47:32 +00:00
2fc1dd3442
add NO_HEAP_NO_EXCEPTIONS data dependence option
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 19:47:00 +00:00
9f81921ebc
added getter for data dependence options
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 19:46:33 +00:00
c3de100817
delete obsolete and broken OneCFABuilder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 15:43:43 +00:00
6bdb2cd77f
bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-29 21:15:47 +00:00
4324bf72e0
make a field protected
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-28 19:29:27 +00:00
a90a6c9ac3
make budget a parameter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-28 19:29:11 +00:00
c50dc1cae2
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-28 17:30:29 +00:00
03e8ad8370
trivial changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-26 04:52:46 +00:00
14cd3e3a30
mode some fields / methods protected, removed use of Trace class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 21:17:03 +00:00
43dfda2511
added support for pi instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 21:16:30 +00:00
41cee5c4e6
nuke unnecessary WalaException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 19:02:01 +00:00
74e1514af6
delete obsolete CallGraphFactory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 18:10:07 +00:00
6dbf70891d
implemented a couple of HeapModel methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2479 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 18:09:34 +00:00
a3028be073
move vectors to wala.util.collections
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2478 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 16:16:54 +00:00
fe1081b236
delete dead code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 15:45:11 +00:00
6b274cdc57
make ignoring alloc heap defs a parameter instead of a static final boolean
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2473 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 03:24:29 +00:00
19972d0a8e
generalization of memory access maps
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 02:21:11 +00:00
50be4da515
generalization of memory access maps
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2470 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 02:17:00 +00:00
ca6bc6d840
bug fix for multi-dimensional arrays
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 02:15:02 +00:00
9b06bd728e
move WalaUtil to example driver package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 23:21:39 +00:00
60788a67ff
move NodeDecorator to viz package
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 23:15:04 +00:00
8512589f49
misc cleanups to visualization utilities
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2464 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 23:12:52 +00:00
128e459f11
more cleanup of util packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2460 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:53:47 +00:00
d77f97c362
Delete CallGraphBuilderFactory. Related cleanups.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2455 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:38:38 +00:00
dc39a8dd86
refactoring: move some classes into appropriate packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:20:38 +00:00
e6a904b715
just refactoring ... introduce 2 new packages in wala.util.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:05:28 +00:00
1654d52b66
delete obsolete Malleable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 21:50:02 +00:00
9599cdd0da
minor refactorings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 18:56:13 +00:00
f304f2036b
format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2441 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 15:19:06 +00:00
3d1b97b138
further refactoring, bug fix for type filters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2436 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 00:51:38 +00:00
5402d6cefc
further refactoring for extensibility
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-23 18:05:40 +00:00
a95c9fd0d1
refactoring to allow for alternative flow graph implementations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-23 03:17:39 +00:00
ff023b89d4
small javadoc fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-22 17:49:04 +00:00
c34b9efb17
tweak some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-22 14:47:13 +00:00
4398e4196d
add getCallGraph()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2424 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-22 14:46:49 +00:00
0f9fa5fcc8
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2423 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-22 14:46:24 +00:00
403ec5eaf3
minor cleanups and dead code elimination
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-21 21:29:38 +00:00
4b36581938
tweak context for String.valueOf()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-21 21:06:49 +00:00
63e1b24f23
add an IllegalArgumentException check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2420 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-21 15:27:08 +00:00
1c3b45438b
bug fix in hasEdge for PI nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2419 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-21 14:21:46 +00:00
5281ead5d8
implement hasEdge
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-21 14:10:34 +00:00
972feb8db7
removed gratuitous mention of CGNode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2416 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-18 03:49:13 +00:00
95893ab9e3
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2415 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 22:51:42 +00:00
881e2ef638
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2414 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 22:46:11 +00:00
f6ec86f834
nuke Queue
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2413 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 22:42:44 +00:00
3692fb2879
call string context for Arrays.copyOf
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 21:10:20 +00:00
c30a8780d0
some debug support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 20:00:21 +00:00
82200a7ccc
implement getNode()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2410 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 19:59:41 +00:00
14ceabf781
added more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 17:55:48 +00:00
6c9aece528
bug fixes for pis and slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 12:12:25 +00:00
16acba0d63
slicer cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2407 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-17 10:15:49 +00:00
d737b0d1bd
revamp pi node construction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 22:25:34 +00:00
9d2c5b0db4
delete obsolete 'preserveNames' SSAOption
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2402 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 21:19:04 +00:00
69592c5773
revert previous change, which breaks slicing test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2400 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 21:12:02 +00:00
f29e5d9408
fix bug to allow induced basic blocks with more than one instruction; permit subclasses of AbstractRootMethod to access the cache to call invalidate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2397 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 16:03:58 +00:00
9dd37f4e25
bug fixes for Pi nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 15:09:26 +00:00
b9814df41f
logic for PI nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 14:44:29 +00:00
99dc52a59b
bug fix from Omer Tripp; tolerate getTargetForCall() returns null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2394 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 13:41:19 +00:00
89f56b753c
publicize some methods and small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2393 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 19:57:58 +00:00
dc155013f6
publicize SliceProblem class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2392 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 18:21:21 +00:00
a99cfd6018
delete IProgramCounter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 15:05:55 +00:00
f78205f84f
delete obsolete ValueDecorator interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2387 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:39:58 +00:00
e75d6d8e76
tweak comments and hash code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2386 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:07:15 +00:00
b541916b65
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2385 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:05:56 +00:00
052457b9fd
tweak toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2382 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-14 16:39:17 +00:00
985c37f7d0
synchronized modifer from Omer Tripp
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2381 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-14 01:31:12 +00:00
db137eb5ae
tiny refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2380 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 20:55:23 +00:00
59f6d5c571
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2379 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 20:55:03 +00:00
b9f03da7f6
a small optimization to eager construction; implement a few more methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2378 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 20:19:09 +00:00
0daaa48d6a
comments and a new flavor of CancelException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2377 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 20:18:23 +00:00
61734d68d0
clean up some slicer APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 19:20:26 +00:00
e27c22aa11
just comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2363 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:41:43 +00:00
a30a4e05df
add a type parameter to IndiscriminateFilter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 15:44:21 +00:00
4e8ea646df
improve model of native method Array.get
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:53:53 +00:00
b4fa816720
added some javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2354 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:08:41 +00:00
3331cd24f0
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2349 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:32 +00:00
c9772b14dc
1) lazier PDG construction
...
2) more aggressive terminate_at_cast logic
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2348 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 21:36:29 +00:00
e40736143d
tweak debugging code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 21:34:13 +00:00
3bee1b838e
bug fix in understands()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2346 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 20:04:23 +00:00
87b712b8ed
add some assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 20:04:06 +00:00
ad8355e9db
implement toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2344 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 20:03:31 +00:00
720578013b
small bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2342 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 17:59:40 +00:00
3743b08723
tweak code formatting for enums
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2332 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:25:58 +00:00
ed773cdf29
switch to nanoTime()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2323 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-09 20:17:16 +00:00
e01cf72472
add a synchronized modifier
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2322 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-09 17:04:18 +00:00
0c49a762a2
bug form get(null)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-09 17:03:29 +00:00
0894592912
add some debug support
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2319 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-09 13:34:49 +00:00
2aa906c503
implement a few more functions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2318 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-09 13:18:34 +00:00
69c9850a6b
publicize some methods to support subclasses of thin slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 20:15:36 +00:00
e4d890cb77
add context for another Arrays method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2315 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 18:27:26 +00:00
eb9268fc91
tweak toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2314 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 18:14:32 +00:00
00c5ad2272
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2313 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 16:30:40 +00:00
8e92dba0cb
add getClassBasedInstanceKeys()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2312 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 14:28:05 +00:00
f96a3c029b
expose isThrowable() to public
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2311 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 14:17:47 +00:00
f44eff8da9
some simple access path utilities
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2308 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-08 13:19:49 +00:00
f4f8d417a5
bug fixes with InducedCFGs and context-sensitive slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2307 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-07 20:31:24 +00:00
eec4940c52
some debug code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-07 20:05:49 +00:00
497558d268
add a check for IllegalArgumentException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2304 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-07 19:40:20 +00:00
2e6a0f6606
some cleanup of Stopwatch APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2303 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-07 17:18:47 +00:00
d9b0df4c1b
Changed visibility of constructor to allow subclassing.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2298 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-05 17:31:56 +00:00
d2a6b3e783
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 22:00:43 +00:00
d62532dbca
delete redundant method SSAAbstractInvokeInstruction.getSite()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2291 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 21:18:31 +00:00
ece38a6538
bug fix for corner case when passing heap parameters from the entry block.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2289 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 21:17:26 +00:00
aa49cfccc1
fix bug ... recoup call string context for arraycopy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 20:15:32 +00:00
c5caf88def
significant refactoring and generalization of instance keys and CFA builders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2284 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 18:24:36 +00:00
b18f82cd24
tweak call-string policy for well-known factory methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2283 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 22:56:20 +00:00
aeadf8a6b7
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2282 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 22:01:23 +00:00
30295213e0
delete some dead j2ee-related code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2281 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 21:30:23 +00:00
fa0775b121
add getPointerAnalysis()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2280 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 21:24:10 +00:00
3adf980b9c
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2278 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 20:06:00 +00:00
7b13eaa025
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2277 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 19:50:52 +00:00
dabc3c7a8f
tweak some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2274 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 19:32:15 +00:00
72727c279e
clean up type hierarchy of zero-x-container builders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2271 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 19:10:25 +00:00
60ddf5002f
tweak code formatting template
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2259 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:30:39 +00:00
75019788eb
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 15:41:10 +00:00
5c41bacbee
add a debug statement
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2256 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 15:38:34 +00:00
8b7945655d
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2255 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 14:46:41 +00:00
1c46cc1e27
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2253 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 04:38:33 +00:00
fc6442bf04
clean up and refactor some APIs surrounding file I/O and exclusions files. Needed in order to allow clients to use some APIs with application-specific exclusions.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2247 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 22:27:28 +00:00
4ab4e99a8f
delegate toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2244 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 19:38:04 +00:00
c8c36e7867
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2243 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 14:35:42 +00:00
06295c3617
fix a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2242 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 14:35:24 +00:00
f021ab3114
improve some search facilities
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2239 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 21:39:31 +00:00
abbcaf2044
small slicer interface generalizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2237 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 17:49:45 +00:00
ac66c3ced4
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2236 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 17:49:22 +00:00
78a651df5e
tweak toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2235 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 17:48:36 +00:00
3c40dee82e
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 15:12:59 +00:00
91af7997ee
add method IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2232 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 15:08:26 +00:00
7b94db5551
SDG implements IClassHierarchyDweller
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-20 23:38:57 +00:00
ad501f7c40
bug fix and small API tweaks surrounding EclipseProjectPath
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-20 20:04:14 +00:00
f95a1cb991
tweak to attempt to fully drain streams.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-20 19:25:03 +00:00
af9e03b63c
small refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2226 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-20 15:51:23 +00:00
5127c25fab
changed getRTJar() to work on Mac
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2221 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-19 00:19:23 +00:00
06fa06f55e
fixed method getCaughtExceptionTypes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2220 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 21:10:29 +00:00
0e659c0a80
delete unnecessary WalaException
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 19:07:25 +00:00
e0d67601f4
tweak some APIs for ISSABasicBlock and ExplodedBasicBlock
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2217 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-18 16:41:01 +00:00
b58bf27b90
fix buggy logic with invokestatic and NPE
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 19:01:46 +00:00
d6575e7608
add support to capture stderr
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:41:06 +00:00
2f2a0a1990
misc. small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 15:29:44 +00:00
b131a86e1d
fix Bug 1852241 possible hash collisions for CGNodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 14:31:17 +00:00
2a1832b968
fix for empty file of classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 17:09:48 +00:00
d2cf19e4d1
fix for empty file of classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 15:04:31 +00:00
620cabcdd5
simplify some code to find resources
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2195 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-16 04:29:20 +00:00
9cb0bf4d92
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 21:47:49 +00:00
da5c6936da
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 16:45:23 +00:00
87d90e5045
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2187 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 16:44:17 +00:00
28d0de9eb9
clean up some utilities dealing with analysis scopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2186 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 15:07:11 +00:00
04b98cae44
fix bug [ 1850456 ] error "I is null" when slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2182 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:29:39 +00:00
cbb17997e2
fix behavior of labeled graphs so they act like a subtype of normal graphs.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:05:04 +00:00
2394ee48f4
patch [ 1850224 ] Union operator for IntSets
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 12:26:56 +00:00
e54194b623
add some comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2179 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 18:04:23 +00:00
ebedfde191
patch 1850117, fix some unguarded assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 17:08:17 +00:00
378427225c
misc bug fixes and cleanups for new AnalysisScopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2171 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 00:39:50 +00:00
17a8b62204
remove EMF
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2161 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 20:46:05 +00:00
421ea35de8
tweak some debugging code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 18:22:06 +00:00
c09e8b46bc
bug fix for "abstract interface"
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2159 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 18:21:29 +00:00
cda2d0e6de
initial check-in
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2157 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 18:36:08 +00:00
4b73238606
clean up Language and AnalysisScope interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 16:33:58 +00:00
4092d80c0e
add @Override annotations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:28:33 +00:00
4f4f941ddd
refactor to allow SSAAbstractInvokeInstruction to represent invokes with multiple return values, as needed by some languages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:23:13 +00:00
3603e9b4a2
allow subclasses to access cg and pointeranalysis (make fields protected instead of private)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2129 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-09 16:53:11 +00:00
2f0c0072ba
allow direct construction of class hierarchy
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-08 21:21:24 +00:00
99cfde2030
fix for Sun javac compile issue
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2124 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-07 01:48:21 +00:00
1293d730f9
Getting rid of @Overrides
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 22:24:05 +00:00
8fe21cc50d
delete some obsolete incorrect debug code.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2122 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:57:50 +00:00
6bebc54148
bug fix: assume Java language by default.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2120 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:46:15 +00:00
a66327a038
Weakened assertions that insisted that the type being allocated isArrayType(); now the types must either answer isArrayType(), or not be from the Java ClassLoader.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2115 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:55:50 +00:00
10dfaf51b3
Now maintains a set of "compatible" Languages that contribute types to the given ClassHierarchy, which has a unique root type.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2114 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:53:29 +00:00
728b86d817
Now maintains a set of Languages (supplied by the client) that are involved in the current analysis, and provides API for identifying the set of "base languages" (relative to the specified inheritance relationships among Languages), each of which induces a distinct ClassHierarchy.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:49:22 +00:00
0c87273fd8
Default implementation of buildAnalysisScope() now adds the Java Language to the scope.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:47:00 +00:00
7278cf71ff
Extracted base Language implementation to a separate class for better reuse.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2111 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:32:59 +00:00
da1ac21d12
Added API to Language for representing the hierarchy of languages, which is necessary for WALA ClassLoaders to correlate loaders to Languages and know which languages share a ClassHierarchy.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:31:45 +00:00
6723d33683
bug fix and related API changes for interface type tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2104 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 19:49:03 +00:00
0c837f78ce
add support for enable-assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2098 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 16:20:39 +00:00
d394f8c558
Made cg & partialRoots fields, as well as the
...
constructor protected instead of private.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 03:29:31 +00:00
3109dfa77a
fixed @Override
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2092 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 22:33:18 +00:00
45d2024c25
removed an @Override
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2091 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 22:32:43 +00:00
99fbd5e1c5
misc cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2090 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 19:18:34 +00:00
cc46007145
change some WalaExceptions into IOExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2089 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-03 18:02:49 +00:00
msridhar1
sjfink
dolby-oss
egeay
pistoia
loginov
rmfuhrer
schandra_sf
yahave