sjfink
|
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 |
|
sjfink
|
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 |
|
sjfink
|
1f131186f9
|
set Version as requested by Ashish Patel
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2783 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-04 15:24:53 +00:00 |
|
sjfink
|
673dd9d444
|
set Version as requested by Ashish Patel
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2782 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-04 15:24:47 +00:00 |
|
sjfink
|
39ce5266b5
|
set Version as requested by Ashish Patel
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2781 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-04 15:24:38 +00:00 |
|
sjfink
|
2b1fae8f1a
|
set Version as requested by Ashish Patel
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2780 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-04 15:24:26 +00:00 |
msridhar1
|
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 |
|
sjfink
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
434c0e4394
|
words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2767 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-24 21:29:55 +00:00 |
|
sjfink
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
c10084093a
|
initial check-in
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-22 12:15:03 +00:00 |
|
sjfink
|
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 |
|
sjfink
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
a8b09bef6b
|
remove a bunch of junk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-11 15:19:41 +00:00 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
0e13e78df8
|
words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2754 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-10 18:08:58 +00:00 |
|
msridhar1
|
f18e69848a
|
added code to use progress monitor, other small changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-08 16:46:58 +00:00 |
|
msridhar1
|
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 |
pistoia
|
8dc5fb5cb3
|
Tests for new reflection-modeling code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2751 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 22:51:57 +00:00 |
|
sjfink
|
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 |
|
sjfink
|
30f9303ee1
|
delete half-baked logic package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 21:05:28 +00:00 |
|
pistoia
|
32d846a7f4
|
Added support for additional reflective methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2748 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 19:46:09 +00:00 |
|
pistoia
|
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 |
|
pistoia
|
2197b8237a
|
Added support for additional reflective methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2746 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 19:45:56 +00:00 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
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 |
|
msridhar1
|
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 |
|
sjfink
|
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 |
|
sjfink
|
2807ddb556
|
nuke ResolutionFailure
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2736 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-01 13:31:04 +00:00 |
|
sjfink
|
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 |