Update csharp/ql/src/experimental/Security Features/JsonWebTokenHandler/JsonWebTokenHandlerLib.qll

raulgarciamsft · hvitved · web-flow · commit 6070e4f3128d · 2022-08-11T17:31:12.000-07:00
Co-authored-by: Tom Hvitved &lt;hvitved@github.com&gt;
diff --git a/csharp/ql/src/experimental/Security Features/JsonWebTokenHandler/JsonWebTokenHandlerLib.qll b/csharp/ql/src/experimental/Security Features/JsonWebTokenHandler/JsonWebTokenHandlerLib.qll
@@ -76,7 +76,7 @@ class JsonWebTokenHandlerValidateTokenMethod extends Method {
  */
 class JsonWebTokenHandlerValidateTokenCall extends MethodCall {
   JsonWebTokenHandlerValidateTokenCall() {
-    exists(JsonWebTokenHandlerValidateTokenMethod m | m.getACall() = this)
+    this.getTarget() instanceof JsonWebTokenHandlerValidateTokenMethod
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ class JsonWebTokenHandlerValidateTokenMethod extends Method {`
`76`	`76`	`*/`
`77`	`77`	`class JsonWebTokenHandlerValidateTokenCall extends MethodCall {`
`78`	`78`	`JsonWebTokenHandlerValidateTokenCall() {`
`79`		`- exists(JsonWebTokenHandlerValidateTokenMethod m \| m.getACall() = this)`
	`79`	`+ this.getTarget() instanceof JsonWebTokenHandlerValidateTokenMethod`
`80`	`80`	`}`
`81`	`81`	`}`
`82`	`82`