Find callee through function instantiation

This commit is contained in:
Owen Mansel-Chan 2022-04-13 16:15:00 +01:00 коммит произвёл Chris Smowton
Родитель 3790c4eb4d
Коммит 4a9aeacb69
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -443,7 +443,8 @@ module Public {
*/
private DataFlow::Node getACalleeSource(DataFlow::CallNode cn) {
result = cn.getCalleeNode() or
basicLocalFlowStep(result, getACalleeSource(cn))
basicLocalFlowStep(result, getACalleeSource(cn)) or
result.asExpr() = getACalleeSource(cn).asExpr().(GenericFunctionInstantiationExpr).getBase()
}
/** A data flow node that represents a call. */