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
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
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
cbd5613a35
javadoc, formatting, move a DEBUG flag
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4163 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-02 22:11:27 +00:00
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
3fffba2c87
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-26 18:44:49 +00:00
a1b36e3488
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 23:00:31 +00:00
06b529e146
javadoc, formatting, more generic types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:59:13 +00:00
c3e6ea9526
formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4143 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:57:55 +00:00
05a516c1e2
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 23:08:47 +00:00
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
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
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
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
adca756422
preserve exception control flow when expanding reads
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4120 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:20:31 +00:00
ab0bf42f4a
fixes to make forms work better for analysis, and to deal with better handling of function scoping in JS
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4119 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:19:55 +00:00
c82117149d
new names for handler functions that include tag name and attribute name
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-08 19:23:10 +00:00
565f9ca663
hack for CDATA
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4111 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-07 16:58:58 +00:00
bc294d76a6
make node types into strings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4108 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-07 15:22:32 +00:00
032f82f713
typing cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4105 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-05 16:41:43 +00:00
b7f3f8b7a8
make getStream accessible
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4104 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-05 10:46:53 +00:00
fe6c3030e4
depend on 1.6 execution environment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4101 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 19:17:45 +00:00
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
fbc893e2b3
added neglected copyright headers
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4099 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 17:27:16 +00:00
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
b0849e3ab6
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@4091 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:25:53 +00:00
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
617d3ac876
removed binary jar
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4089 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:19:54 +00:00
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
a09bb5b5de
grab external dependencies via ant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4069 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-10 21:52:30 +00:00
3a49f17ebc
update code formatting for Eclipse 3.6
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:14:47 +00:00
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
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
01cf547410
check for null values of attributes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3997 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-22 17:44:53 +00:00
9baccf9a10
loosen types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3996 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-09 19:01:07 +00:00
6f0e52f538
fix for broken input fields
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3995 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 20:27:29 +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
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
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
6bdea6a627
minor hacks for ugly js code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3978 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:38:04 +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
00a332e632
hack to track URLs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3971 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:26:48 +00:00
658598e82b
fix to handle redefinition of 'undefined' (yuck)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3970 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:25:52 +00:00
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
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
fb6f25ce37
Put entrypoint code also under main method - required for having correct "this" pointer (window).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3963 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-03 11:52:22 +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
38f8a44044
Fix prototype contamination bug (described in added test).
...
When someone writes:
MyFunction.prototype.myMethod = ...
we want "myMethod" to be accessible only for objects of type "MyFunction".
- Change how generated ctors look like - now they have a private prototype object into which methods can be added
- Change the PropertyReadExpander to have a different handling when reading the "prototype" field, avoid performing a loop on the prototype chain, so that the points to set of fetched field will be accurate (and allow us to set only the fields of it)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3959 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 19:30:03 +00:00
02842ff765
Adding Generators (Extracting js source from html) that support line numbering. Currently used only from within the JsViewerDriver.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3957 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-29 15:29:55 +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
dolby-oss
msridhar1
sjfink
yinnon_haviv