Simplify DataFlow::PairNode

Co-authored-by: Alex Ford <alexrford@users.noreply.github.com>
This commit is contained in:
Maiky
2023-09-15 11:41:19 +02:00
committed by GitHub
parent d4f6111621
commit 122881ddf5

View File

@@ -33,7 +33,7 @@ module Jwt {
override DataFlow::Node getPayload() { result = this.getArgument(0) }
override DataFlow::Node getAlgorithm() {
result.asExpr().getExpr() = this.getArgument(3).asExpr().getExpr().(Pair).getValue() or
result = this.getArgument(3).(DataFlow::PairNode).getValue() or
result =
this.getArgument(3)
.(DataFlow::HashLiteralNode)