Skip to content

Commit e94b492

Browse files
committed
C#: Delete inaccessible/dead data flow configuration in JsonWebTokenHandlerLib.
1 parent f976eeb commit e94b492

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

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

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -102,21 +102,6 @@ private class TokenValidationResultIsValidCall extends PropertyRead {
102102
}
103103
}
104104

105-
/**
106-
* Dataflow from the output of `Microsoft.IdentityModel.JsonWebTokens.JsonWebTokenHandler.ValidateToken` call to access the `IsValid` or `Exception` property
107-
*/
108-
private class FlowsToTokenValidationResultIsValidCall extends DataFlow::Configuration {
109-
FlowsToTokenValidationResultIsValidCall() { this = "FlowsToTokenValidationResultIsValidCall" }
110-
111-
override predicate isSource(DataFlow::Node source) {
112-
source.asExpr() instanceof JsonWebTokenHandlerValidateTokenCall
113-
}
114-
115-
override predicate isSink(DataFlow::Node sink) {
116-
exists(TokenValidationResultIsValidCall call | sink.asExpr() = call.getQualifier())
117-
}
118-
}
119-
120105
/**
121106
* A security-sensitive property for `Microsoft.IdentityModel.Tokens.TokenValidationParameters`
122107
*/

0 commit comments

Comments
 (0)