Update TimingAttack.qll

This commit is contained in:
Ahmed Farid
2023-02-16 14:14:13 +01:00
committed by GitHub
parent f70f5c7935
commit f57861b6a3

View File

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