msridhar1
|
1ae581819f
|
add one level of caller-site sensitivity for call() and apply(); experimental
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4513 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:27:03 +00:00 |
|
msridhar1
|
d1974d8b54
|
new context selector that just checks for recursion instead of bounding it
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4509 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:26:14 +00:00 |
|
msridhar1
|
d68e9ebbd0
|
add -reachable argument
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:23:46 +00:00 |
|
msridhar1
|
e9d2ad598a
|
move recursion bound selector to HTMLCGBuilder; a temporary solution
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:23:37 +00:00 |
|
msridhar1
|
965896c210
|
add general recursion bounding via an additional context selector. Also, completely eliminate dependence on contexts for correct pointer analysis with new lexical scheme.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:23:21 +00:00 |
|
msridhar1
|
954a1f091b
|
more work on precise lexical configuration
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:22:55 +00:00 |
|
msridhar1
|
a3826f23a8
|
refactoring: rename some Util classes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:21:59 +00:00 |
|
msridhar1
|
92d8dc1e3d
|
Revert "refactor context selectors: extract delegation into ComposedContextSelector"
This reverts commit 7ff1219c5baed388a82d14fcf81d2b1f456c4e95. That commit broke
a dojo test, and I'm not sure why.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:21:18 +00:00 |
|
msridhar1
|
edd300cf00
|
refactor context selectors: extract delegation into ComposedContextSelector
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:20:26 +00:00 |
|
msridhar1
|
fa3264bade
|
Utility class for building call graphs of HTML pages.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:19:57 +00:00 |
|
msridhar1
|
b8e7e31b6f
|
Pulling in HTMLCGBuilder from lexical-again branch.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-08 15:34:24 +00:00 |