Enhance query ouput

- add valuable text to assess the query results
- add an example of the output
This commit is contained in:
toufik-airane
2020-06-22 22:34:06 +02:00
parent 0f8879716f
commit f7cbc8a8d4
2 changed files with 7 additions and 1 deletions

View File

@@ -16,4 +16,5 @@ from CallNode call
where
call = moduleMember("jsonwebtoken", "verify").getACall() and
unique(boolean b | b = call.getArgument(1).analyze().getABooleanValue()) = false
select call
select call.getStartLine(), call,
"does not verify the JWT payload with a cryptographic secret or public key."

View File

@@ -0,0 +1,5 @@
| col0 | call | col2 |
+------+---------------------+----------------------------------------------------------------------------+
| 9 | jwt.ver ... ne"] }) | does not verify the JWT payload with a cryptographic secret or public key. |
| 10 | jwt.ver ... ne"] }) | does not verify the JWT payload with a cryptographic secret or public key. |
| 11 | jwt.ver ... ne"] }) | does not verify the JWT payload with a cryptographic secret or public key. |