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

fix for slicer issue in javascript

This commit is contained in:
Julian Dolby 2016-08-23 20:59:08 -04:00
parent 0f0c3d6bd9
commit 30bc2858c4
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.cast.js.test.data/examples-src/tests/slice1.js
View File

@ -9,7 +9,7 @@ var o = { f: 7 };
if (o != null) {
o = (function _push_o(x) { return x>0? x: -1; })(o.f);
var p = { };
var p = { f: function yuck(a, b) { _slice_target_fn(a); _slice_target_fn(b); } };
_slice_target_fn(o);
p.f(o);
}

10
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
View File

@ -379,10 +379,12 @@ public class SDG<T extends InstanceKey> extends AbstractNumberedGraph<Statement>
for (IntIterator ii = indices.intIterator(); ii.hasNext();) {
int i = ii.next();
SSAAbstractInvokeInstruction call = (SSAAbstractInvokeInstruction) ir.getInstructions()[i];
int p = call.getUse(parameterIndex);
Statement s = new ParamCaller(caller, i, p);
addNode(s);
result.add(s);
if (call.getNumberOfUses() > parameterIndex) {
int p = call.getUse(parameterIndex);
Statement s = new ParamCaller(caller, i, p);
addNode(s);
result.add(s);
}
}
}
}