Added case where sink is within the analysis scope.

This commit is contained in:
Achim D. Brucker 2016-09-13 12:05:00 +01:00
parent 655f1aa3c5
commit 3d3b8d56fa
1 changed files with 7 additions and 0 deletions

View File

@ -44,6 +44,13 @@ object CallTreeBuilder {
}
// Base case
// root is one of the sinks (i.e., root is part of the analysed project and, thus, the
// call graph
if (sinks.contains(root))
return new CallTree(root)
// root is only part of the call sites iterator (i.e., defined outside of the analysis
// scope
val it = root.iterateCallSites()
var m = null: CallSiteReference
var children = List[CGNode]()