Skip to content

Commit 068c57a

Browse files
authored
add super calls to the callgraph
1 parent 2d86b13 commit 068c57a

1 file changed

Lines changed: 7 additions & 0 deletions

File tree

ql/src/codeql_ql/ast/internal/Predicate.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,6 +79,13 @@ private module Cached {
7979
t = mc.getBase().getType() and
8080
p = t.getClassPredicate(mc.getMemberName(), mc.getNumberOfArguments())
8181
)
82+
or
83+
// super calls
84+
exists(Super sup, ClassType type |
85+
mc.getBase() = sup and
86+
sup.getEnclosingPredicate().(ClassPredicate).getParent().getType() = type and
87+
p = type.getASuperType().getClassPredicate(mc.getMemberName(), mc.getNumberOfArguments())
88+
)
8289
}
8390

8491
cached

0 commit comments

Comments
 (0)