Make verifyCall() a private predicate

jorgectf · jorgectf · commit c6d8b9787148 · 2022-02-08T23:37:17.000+01:00
diff --git a/python/ql/src/experimental/semmle/python/libraries/Python_JWT.qll b/python/ql/src/experimental/semmle/python/libraries/Python_JWT.qll
@@ -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()
     }

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ private module Python_JWT {`
`26`	`26`	`this = API::moduleImport("python_jwt").getMember("process_jwt").getACall()`
`27`	`27`	`}`
`28`	`28`
`29`		`- DataFlow::CallCfgNode verifyCall() {`
	`29`	`+ private DataFlow::CallCfgNode verifyCall() {`
`30`	`30`	`result = API::moduleImport("python_jwt").getMember("verify_jwt").getACall() and`
`31`	`31`	`this.getPayload().getALocalSource() = result.getArg(0).getALocalSource()`
`32`	`32`	`}`