DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,461 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

3461 Commits

Author SHA1 Message Date
msridhar1 d81d8569eb fix test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:43:34 +00:00
msridhar1 a28f0df3b7 change resolveField() to pass type when resolving a field 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4553 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:41:21 +00:00
msridhar1 1d28b2dc26 fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:26:12 +00:00
msridhar1 7fe479ee82 extract class for an edge-filtered graph view 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4551 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 19:09:50 +00:00
dolby-oss 553ab68efa jquery example 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-08 17:35:32 +00:00
dolby-oss 44e7a02ac3 improve handling of binary expressions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4544 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-08 17:35:04 +00:00
dolby-oss a93dc6fcc5 minor cleanup 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-08 17:34:36 +00:00
dolby-oss 8f4ddd6920 remove warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-03 00:25:47 +00:00
dolby-oss 70678e1e4a add type parameters 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-01 13:18:59 +00:00
dolby-oss a9ec87f360 Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-01 02:45:51 +00:00
dolby-oss 99564d6e06 strengthen checking of argument specialization test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 18:15:05 +00:00
dolby-oss 9b2b4c6f51 remove unused declaration on public method 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 17:45:20 +00:00
dolby-oss 2f7107ac44 remove import warning 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4527 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 17:44:39 +00:00
dolby-oss 3a5013d8e5 generalize hack for finding 'base' variables. fix bugs in renaming arguments. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4526 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 17:44:09 +00:00
dolby-oss e82ef4a91f don't require 1.5 VM 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4525 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-21 13:49:05 +00:00
dolby-oss 5f992d2ef6 avoid hitting IR cache unnecessarily 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4524 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-21 13:47:44 +00:00
dolby-oss 10012b9792 fix warning; make assertion failure more verbose 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4523 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-21 13:47:01 +00:00
dolby-oss c187dcaeb0 add source-level names to dump of IR 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-21 13:46:11 +00:00
dolby-oss f4a1544a2d fix overly-restrictive assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4521 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-20 16:04:48 +00:00
msridhar1 ec7be6dc39 Got rid of IntegerContextItem and BooleanContextItem and replaced them 
by uses of ContextItem.Value.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:27:16 +00:00
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 ddfb019e68 optimization in dispatch logic. further optimization possible, and more 
comments still needed

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4512 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:26:47 +00:00
msridhar1 5c2ca88ba2 more comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:26:36 +00:00
msridhar1 5bc7fb3e44 Within for/in bodies, use a marker for/in context instead of a CallerSiteContext 
to better handle certain recursion.  Still needs better Javadoc

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4510 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:26:24 +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 0d0d2b89a9 improve toString() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4508 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:26:00 +00:00
msridhar1 1dfacdfe4c make it easier to identify ArgumentInstanceContexts 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:25:49 +00:00
msridhar1 a840e068d6 When extracting correlated pairs, check that the extraction region does 
not reference the "arguments" variable.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:25:39 +00:00
msridhar1 a3d0b45eef Added support for localising variables through which correlated reads 
flow. This somewhat compensates for the lack of SSA form for closure
variables under the new lexical scheme.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:25:22 +00:00
msridhar1 5106842f30 fix memory leak 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:25:06 +00:00
msridhar1 cafc761a7c bug fix 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4503 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:24:56 +00:00
msridhar1 efcbdd625c Merge remote-tracking branch 'riverdale/extractor-fix' into lexical-again 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4502 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:24:48 +00:00
msridhar1 5f2733bd0e fix some compile errors 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4501 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:24:32 +00:00
msridhar1 e60be259ae avoid crashes in LoadFileTargetSelector 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4500 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:24:08 +00:00
msridhar1 1eb7236267 use a CallStringContext when hitting the recursion bound with constructors 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4499 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:23:57 +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 4037ef9b02 add new analysis option JSAnalysisOptions.usePreciseLexical(), which allows for a less precise handling of lexical accesses 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:22:30 +00:00
msridhar1 c861bfed80 introduce CGBuilderType enum, related refactorings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:22:14 +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 59d602e9b7 added a recursion check 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:20:36 +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 5c0c7eb7f8 pref off generating separate call methods per site; better handled in a context selector, as this was causing non-termination 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:49 +00:00
msridhar1 bd71761645 Un-finalled flag WARN_ABOUT_IMPRECISE_CALLGRAPH to make it configurable 
from TestUtil.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:40 +00:00
msridhar1 677fc96aec add a test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:32 +00:00
msridhar1 1ac2dc110e better recursion check 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:22 +00:00