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

109 Commits

Author SHA1 Message Date
msridhar1 7026301ed4 Fixed unsoundness in the context selector; unsurprisingly, this makes 
the analysis explode on MooTools again...

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4363 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:33:48 +00:00
msridhar1 e62fdc5b1f Added custom context selector for uses of Function.prototype.call, which 
adds object sensitivity on such uses.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4362 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:33:34 +00:00
msridhar1 46dc767549 Minor change. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4361 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:33:19 +00:00
msridhar1 f0bee15f9f Minor change. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:33:06 +00:00
msridhar1 87ea0760cf Additional check to ensure that the expected number of arguments is 
provided.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4359 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:32:51 +00:00
msridhar1 899824081e always add one level of call-string sensitivity for constructors 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:32:12 +00:00
msridhar1 22f6ba3e0c extra diagnostics 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4354 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:31:44 +00:00
msridhar1 6e4db282b6 undo change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4351 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:30:59 +00:00
msridhar1 48b42a18a0 tinkering with jquery 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:29:42 +00:00
msridhar1 2989bc2e6a add flag to disable handling of Function.apply() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4344 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:29:27 +00:00
msridhar1 fa1f572d60 add one level of call-string sensitivity for Function.apply() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4342 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:29:01 +00:00
msridhar1 8c2fd9cb10 kill some old code and rename a class 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:28:34 +00:00
msridhar1 6a2dc42d49 fix a couple of NPEs 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:28:02 +00:00
msridhar1 efa0efa796 fix bad method overriding 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:26:41 +00:00
msridhar1 c250331e78 more work on Function.apply(), but regression tests aren't passing yet 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:26:23 +00:00
msridhar1 a30ea94aac support Function.apply() with no argsList array 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4332 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:26:01 +00:00
msridhar1 875347167b started some work 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:25:38 +00:00
msridhar1 3172ba6b0f Fixed data flow propagation code for the arguments array: arguments[0] 
is not the receiver, it is the first real argument.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4328 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:24:53 +00:00
msridhar1 515c9b8f18 Fixed code for determining whether a callee should be analysed in a 
for-in context: checking whether its name _contains_ HACK_METHOD_STR is
not a good idea, since this is true also for inner functions of the
forin_body functions.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4327 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:24:38 +00:00
msridhar1 eb73fac9e4 documentation of global object handling 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4326 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:24:25 +00:00
msridhar1 8ce7db97ea more global object handling; needs documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:23:56 +00:00
msridhar1 306bc98bf5 progress on modeling the global object 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:22:58 +00:00
msridhar1 e468d042fa add option to generate separate synthetic method per call site of Function.call() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4319 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:22:09 +00:00
msridhar1 1ea96713c3 cache Function.call() synthetic methods and reuse 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4317 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:21:40 +00:00
msridhar1 b042d61a67 initial implementation of handling Function.call(). also, fix previous change that caused some tests to fail 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:21:26 +00:00
msridhar1 31108fa7e2 Avoid re-analysing the same file twice. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4314 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:20:41 +00:00
msridhar1 bf66d29491 fix bug in setting of __proto__ in function constructor 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4313 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:20:28 +00:00
msridhar1 22e79d7ef7 make JSCFABuilder abstract 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4310 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:19:49 +00:00
msridhar1 45d15c2bd6 Filtering instance keys passed to extracted loop bodies to emulate ToString conversion. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4307 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:19:14 +00:00
msridhar1 939f6b3f34 Organise imports. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:19:01 +00:00
msridhar1 c0a99989a4 Support for applying a preprocessor to the generated CAst tree before 
translating it to IR.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4300 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:17:39 +00:00
msridhar1 e672a1ece8 clarify exception messsage 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4286 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-10-28 20:30:54 +00:00
msridhar1 409a8f83b5 a little more debug info 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4206 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-02 15:34:21 +00:00
dolby-oss bcd742f06c experiments with context sensitivity and fixes to use base contexts 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4203 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-02 15:14:57 +00:00
msridhar1 2b443852fc pull out hacked for-in context selector. add some debugging output 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-01 16:48:18 +00:00
msridhar1 201b28eea0 bug fixes for handling of prototype and __proto__ 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-06-22 21:23:49 +00:00
dolby-oss 3e573a992d upgrades to lexical soping implements to address some performance issues 
fixes to HTML model to capture use of local vars as window state in scripts


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-05-23 16:27:07 +00:00
msridhar1 ac7294dac2 bug fix: incorrect check for number of constructor parameters 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4171 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-05-05 03:51:54 +00:00
msridhar1 1f97edecc7 formatting, minor refactoring 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4168 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-05-04 21:06:35 +00:00
dolby-oss 4da02a9125 Changes to extend supported context sensitivity to CPA-style: 
1) extend ContextSelector interface to allow it to specify parameters of interest
  2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
  3) various related fixes and extensions:
    a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
    b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
    c) a bit more support for empty int sets
    d) void function objects
    e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
    f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
    

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-27 13:58:56 +00:00
msridhar1 53294397f8 javadoc, formatting 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-20 22:31:27 +00:00
dolby-oss 67d26e74c5 allow IR translator to give warnings and errors via the loader 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-14 01:16:36 +00:00
dolby-oss cf0f17f4cd adapt to better handling of function scoping in JS 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4121 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-13 16:21:08 +00:00
dolby-oss 6b47bc0bd1 fix import warning 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-04 17:31:19 +00:00
dolby-oss 684524e4bc added recording of script tag locations from which script code is included into the analysis of a Web page 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-04 17:16:18 +00:00
dolby-oss cdd42a68b6 updates to processing of Web pages: 
1) adopted the code from Rational for HTML handling
    i) extended it to integrate better source mapping into IR
    ii) integrated fixes from the old html processing to collect more info on forms
    iii) added some copyright comments
  2) updated version of jericho
  3) added support for nu.validator for html5
  4) added script to fetch html parser jars, and removed binary jar
  

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4090 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-04 15:23:58 +00:00
msridhar1 857e456806 organize imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-03 04:08:05 +00:00
sjfink fa825de846 refactoring of fixpoint API 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-17 21:43:18 +00:00
dolby-oss c7558b3646 fixes for Rational 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-02 19:11:58 +00:00
dolby-oss 0070a69af0 handle bogus ctor calls, likely due to analysis imprecision 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3969 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-11 14:24:40 +00:00