Update TimingAttack.qll

ahmed-farid-dev · web-flow · commit 01b865f75b91 · 2023-02-16T01:36:06.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
@@ -307,9 +307,7 @@ 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
`@@ -307,9 +307,7 @@ private class CompareSink extends DataFlow::Node {`
`307`	`307`	`)`
`308`	`308`	`) or`
`309`	`309`	`exists(Compare compare \|`
`310`		`- (`
`311`		`- compare.getOp(0) instanceof Eq or`
`312`		`- compare.getOp(0) instanceof NotEq or`
	`310`	`+ (`
`313`	`311`	`compare.getOp(0) instanceof IsNot`
`314`	`312`	`) and`
`315`	`313`	`(`