sjfink
7f240b4c4d
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-18 14:03:05 +00:00
sjfink
c84676f086
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-18 14:02:54 +00:00
msridhar1
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
sjfink
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
msridhar1
5569d461af
switch demandpa tests to use PABasedMemoryAccessMap
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-15 18:32:23 +00:00
msridhar1
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
msridhar1
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
rmfuhrer
88607a3247
Removed redundant initialization code (already in buildPluginCommon.xml). Added missing dependency of target "plugin.jar" on "javaInit" to pick up compiler-related property settings.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2815 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-13 20:35:45 +00:00
sjfink
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
sjfink
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
sjfink
3ef0837c9f
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2812 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 21:18:27 +00:00
sjfink
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
msridhar1
b49049ec3c
changed handling of ActionForm parameters to Struts entrypoints to use a synthetic factory method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2810 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 19:44:19 +00:00
msridhar1
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
msridhar1
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
f0a64f7efd
revamp deterministic hash code support for a few key classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2803 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 14:22:17 +00:00
sjfink
9956ead545
revamp deterministic hash code support for a few key classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 14:22:11 +00:00
sjfink
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
sjfink
17f29570aa
optimizations for IR caching when context is irrelevant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2800 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 13:34:25 +00:00
sjfink
9883d09e29
optimize .. avoid a call to clone()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2799 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 13:33:50 +00:00
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
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
sjfink
1ddd6f19dd
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2793 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-09 20:53:12 +00:00
sjfink
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
sjfink
29ce5ea155
more words
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2791 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-08 19:40:28 +00:00
sjfink
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
egeay
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
egeay
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
egeay
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
egeay
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
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