@@ -55,9 +55,7 @@ class AnnotatedCall extends DataFlow::Node {
5555 result = - 1
5656 }
5757
58- string getKind ( ) {
59- result = kind
60- }
58+ string getKind ( ) { result = kind }
6159}
6260
6361predicate callEdge ( AnnotatedCall call , AnnotatedFunction target , int boundArgs ) {
@@ -66,7 +64,9 @@ predicate callEdge(AnnotatedCall call, AnnotatedFunction target, int boundArgs)
6664 FlowSteps:: callsBound ( call , target , boundArgs )
6765}
6866
69- query predicate spuriousCallee ( AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind ) {
67+ query predicate spuriousCallee (
68+ AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind
69+ ) {
7070 callEdge ( call , target , boundArgs ) and
7171 kind = call .getKind ( ) and
7272 not (
@@ -75,7 +75,9 @@ query predicate spuriousCallee(AnnotatedCall call, AnnotatedFunction target, int
7575 )
7676}
7777
78- query predicate missingCallee ( AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind ) {
78+ query predicate missingCallee (
79+ AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind
80+ ) {
7981 not callEdge ( call , target , boundArgs ) and
8082 kind = call .getKind ( ) and
8183 target = call .getAnExpectedCallee ( kind ) and
0 commit comments