Update TimingAttack.qll

ahmed-farid-dev · web-flow · commit f57861b6a39b · 2023-02-16T14:14:13.000+01:00
diff --git a/python/ql/src/experimental/semmle/python/security/TimingAttack.qll b/python/ql/src/experimental/semmle/python/security/TimingAttack.qll
@@ -344,7 +344,7 @@ private class CompareSink extends DataFlow::Node {
 /**
  * Holds if there is a flow to len().
  */
-  predicate FlowToLen() {
+  predicate flowtolen() {
     exists(ExcludeLenFunc config, DataFlow2::PathNode source, DataFlow2::PathNode sink |
        config.hasFlowPath(source, sink)
     )

Original file line number	Diff line number	Diff line change
`@@ -344,7 +344,7 @@ private class CompareSink extends DataFlow::Node {`
`344`	`344`	`/**`
`345`	`345`	`* Holds if there is a flow to len().`
`346`	`346`	`*/`
`347`		`- predicate FlowToLen() {`
	`347`	`+ predicate flowtolen() {`
`348`	`348`	`exists(ExcludeLenFunc config, DataFlow2::PathNode source, DataFlow2::PathNode sink \|`
`349`	`349`	`config.hasFlowPath(source, sink)`
`350`	`350`	`)`