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

Added method that returns all (heavily overapproximating) possible Target nodes in a cross-language CG.

This commit is contained in:
Achim D. Brucker 2016-08-18 00:05:42 +01:00
parent 76104c8e9c
commit c62dc4154e
1 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/MergedCallGraph.scala
View File

@ -291,6 +291,50 @@ class MergedCallGraph(val javaCG: CallGraph, val jsCG: CallGraph, val configXml:
}
}
/**
* Return all possible targets nodes (i.e., representing methods that are possibly invoked (either
* within the same programming language or cross language) by the implementation of the method
* that the node {@code node} represents).
* @param cg bvn
* @param node
* @return
*/
def getAllPossibleTargetNodes(node:CGNode) =
{
val ir = node.getIR();
val targetNodes= Set.empty[CGNode];
if(Util.isJavaNode(node)){
// Java Node
val it = node.iterateCallSites();
while (it.hasNext()){
targetNodes.union(this.getPossibleTargets(node, it.next()));
}
}else{
// JavaScript Node
val it = ir.iterateAllInstructions();
while (it.hasNext()){
val ssa = it.next();
if (ssa.isInstanceOf[JavaScriptInvoke]) {
val invoke = ssa.asInstanceOf[JavaScriptInvoke];
// see http://wala.sourceforge.net/files/WALAJavaScriptTutorial.pdf, page 11
if (invoke.getCallSite().getDeclaredTarget().equals(
JavaScriptMethods.dispatchReference)) {
targetNodes.union(this.getPossibleTargets(node, invoke.getCallSite()));
}
}
}
}
// get Cross Calls
val it = node.iterateCallSites();
while(it.hasNext()) {
targetNodes.union(this.getCrossTargets(node, it.next()));
}
targetNodes;
}
private def addCrossCall(from: CGNode, csr: CallSiteReference, to: CGNode, params: Map[Int, Set[Int]], param: String): Unit = {
addCrossCall(from, csr, to, params)
paramInfo += (((from, csr), param))
@ -308,6 +352,8 @@ class MergedCallGraph(val javaCG: CallGraph, val jsCG: CallGraph, val configXml:
case None => LinkedHashSet[CGNode]()
}
def getParameterMapping(from: CGNode, csr: CallSiteReference, to: CGNode) = paramMap.get((from, csr, to))
def findFunctionNodes(arg: Int, node: CGNode, inst: SSAInstruction, jsExecuteNode: CGNode) = {