Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Fix formatting
  • Loading branch information
owen-mc authored Oct 11, 2023
commit 8a3aa2c767cb1632698580387f932652b7d55c0f
Original file line number Diff line number Diff line change
Expand Up @@ -52,5 +52,6 @@ import NoValidation::PathGraph

from NoValidation::PathNode source, NoValidation::PathNode sink
where NoValidation::flowPath(source, sink)
select sink.getNode(), source, sink, "This JWT is parsed without verification and received from $@.",
source.getNode(), "this user-controlled source"
select sink.getNode(), source, sink,
"This JWT is parsed without verification and received from $@.", source.getNode(),
"this user-controlled source"