Update TimingAttack.qll

ahmed-farid-dev · web-flow · commit fbfe23b7c4b7 · 2023-02-16T01:21:50.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
@@ -308,6 +308,8 @@ private class CompareSink extends DataFlow::Node {
     ) or    
    exists(Compare compare |
       (
+        compare.getOp(0) instanceof Eq or
+        compare.getOp(0) instanceof NotEq or  
         compare.getOp(0) instanceof IsNot 
       ) and
       (

Original file line number	Diff line number	Diff line change
`@@ -308,6 +308,8 @@ private class CompareSink extends DataFlow::Node {`
`308`	`308`	`) or`
`309`	`309`	`exists(Compare compare \|`
`310`	`310`	`(`
	`311`	`+ compare.getOp(0) instanceof Eq or`
	`312`	`+ compare.getOp(0) instanceof NotEq or`
`311`	`313`	`compare.getOp(0) instanceof IsNot`
`312`	`314`	`) and`
`313`	`315`	`(`