DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fixes for url analysis 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4001 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2010-11-23 15:32:18 +00:00
parent cc99d4898e
commit 37acebc7be
4 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
com.ibm.wala.cast.js/dat/preamble.js
View File

@ -6,6 +6,15 @@
// A combination of interfaces NodeList, NamedNodeMap, HTMLCollection
// implement a list of Nodes, accessible through names as well
note_url = function noteURL(url) {
// hook for analysis of Web pages
};
note_post_parameters = function notePostParameters(url) {
// hook for analysis of Web pages
};
function NamedNodeList() {
var maxLength = 10;
var local = new Array(10);
@ -156,8 +165,9 @@ function Location(){
function DOMWindow(){
this.name = new String();
this.open = function window_open(url) { url.note_url(); };
this.open = function window_open(url, stuff) {
note_url(url);
};
}
function DOJOObj(){
@ -293,7 +303,7 @@ XMLHttpRequest = function _XMLHttpRequest() {
this.open = function xhr_open(method, url, async, user, password) {
this.sUrl = url;
url.note_url();
note_url(url);
this.orsc_handler();
}
@ -303,7 +313,7 @@ XMLHttpRequest = function _XMLHttpRequest() {
this.send = function xhr_send(data) {
this.orsc_handler();
data.note_post_parameters();
note_post_parameters(data);
}
this.abort = function xhr_abort() {

8
com.ibm.wala.cast.js/dat/prologue.js
View File

@ -310,14 +310,6 @@ String.prototype = {
loadFile: function loadFile() {
// magic function body handled in analysis.
},
note_url: function noteURL() {
// hook for analysis of Web pages
},
note_post_parameters: function notePostParameters() {
// hook for analysis of Web pages
}
};

2
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/util/Generator.java
View File

@ -104,7 +104,7 @@ public class Generator {
// generatePreamble(out, cb);
out.write("\n\ndocument.URL = new String('" + input + "');\n");
out.write("document.URL.note_url();\n\n");
out.write("note_url(document.URL);\n\n");
writeRegion(out, "Embedded Script", temp2);

3
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/util/HTMLCallback.java
View File

@ -191,8 +191,7 @@ public class HTMLCallback implements IHtmlCallback {
protected void writeEventAttribute(ITag tag, String attr, String value, String varName, String varName2) throws IOException {
if(attr.substring(0,2).equals("on")) {
indent(); domTreeFile.write("function " + attr + "_" + varName2 + "(event) {" + value + "};\n");
indent(); domTreeFile.write(varName + "." + attr + " = " + attr + "_" + varName2 + ";\n");
indent(); domTreeFile.write(varName + "." + attr + " = function " + attr + "_" + varName2 + "(event) {" + value + "};\n");
entrypointFile.write("\n\n " + varName2 + "." + attr + "(null);\n\n");
} else if (value != null) {
if (value.indexOf('\'') > 0) {