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
59fae9a7e9
Added very crude handling of addEventListener.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4400 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:46:36 +00:00
df30320720
Cosmetic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4386 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:43:09 +00:00
5608a3ce73
Function is a function.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4379 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:37:36 +00:00
a55135831e
fix missing semi-colon
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:30:02 +00:00
fc1a961c4c
undo hacks
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4346 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:29:52 +00:00
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
be1ead5245
additional modeling of prototype chains for built-in objects
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4320 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:22:27 +00:00
dcc7481b17
use Arrays for lists of nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-30 15:45:20 +00:00
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
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
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
37acebc7be
fixes for url analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4001 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-23 15:32:18 +00:00
23b669a691
more work and tests on Web page model
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3991 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 00:36:44 +00:00
5f3d357bf7
hack to track URLs and XMLHttpRequest post parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3980 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 18:04:03 +00:00
aa5bd8399e
fix to handle redefinition of 'undefined' (yuck)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3972 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:27:41 +00:00
a0737caedb
fix typo
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3966 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-06 08:45:23 +00:00
79bd333d87
Added missing buit-in functions
...
- escape
- unescape
- String.substr (not the same as String.substring)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3962 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 21:01:37 +00:00
515c77c53c
Adding missing BOMs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3956 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-29 15:25:10 +00:00
2e724aac3e
fixes for JavaScript motivated by Web examples
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:38:28 +00:00
09eb9c33ab
add function expressions for URI functions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-01 17:35:07 +00:00
913fd56249
augmented preamble.js and Generator.java to have a better handle of the DOM
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-05 18:29:07 +00:00
b63ec35157
fix to model of DOM in web pages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1327 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-29 19:16:34 +00:00
3f8232a725
improved mechanism for handling 'arguments' array; add model of 'replace' for strings; add new isNullType for Language object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:32:15 +00:00
d8f21f8ee5
Initial contribution of core script analysis code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:25:09 +00:00
dolby-oss
msridhar1
yinnon_haviv
pistoia