This commit is contained in:
Owen Mansel-Chan 2023-10-11 11:46:31 +01:00 коммит произвёл GitHub
Родитель 5e273238ca
Коммит 8a3aa2c767
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 3 добавлений и 2 удалений

Просмотреть файл

@ -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"