Make verifyCall() a private predicate

This commit is contained in:
jorgectf
2022-02-08 23:37:17 +01:00
parent 7b51b91d13
commit c6d8b97871

View File

@@ -26,7 +26,7 @@ private module Python_JWT {
this = API::moduleImport("python_jwt").getMember("process_jwt").getACall()
}
DataFlow::CallCfgNode verifyCall() {
private DataFlow::CallCfgNode verifyCall() {
result = API::moduleImport("python_jwt").getMember("verify_jwt").getACall() and
this.getPayload().getALocalSource() = result.getArg(0).getALocalSource()
}