File tree Expand file tree Collapse file tree 2 files changed +2
-5
lines changed
lib/semmle/python/security/dataflow
src/experimental/semmle/python/security Expand file tree Collapse file tree 2 files changed +2
-5
lines changed Original file line number Diff line number Diff line change 66
77private import python
88private import semmle.python.dataflow.new.DataFlow
9- private import semmle.python.dataflow.new.DataFlow2
109private import semmle.python.dataflow.new.TaintTracking
1110private import semmle.python.Concepts
1211private import semmle.python.dataflow.new.RemoteFlowSources
Original file line number Diff line number Diff line change 11private import python
2- private import semmle.python.dataflow.new.TaintTracking2
32private import semmle.python.dataflow.new.TaintTracking
43private import semmle.python.dataflow.new.DataFlow
5- private import semmle.python.dataflow.new.DataFlow2
64private import semmle.python.ApiGraphs
75private import semmle.python.dataflow.new.RemoteFlowSources
86private import semmle.python.frameworks.Flask
@@ -164,7 +162,7 @@ class NonConstantTimeComparisonSink extends DataFlow::Node {
164162
165163 /** Holds if remote user input was used in the comparison. */
166164 predicate includesUserInput ( ) {
167- UserInputInComparisonFlow:: flowTo ( DataFlow2 :: exprNode ( anotherParameter ) )
165+ UserInputInComparisonFlow:: flowTo ( DataFlow :: exprNode ( anotherParameter ) )
168166 }
169167}
170168
@@ -175,7 +173,7 @@ class SecretSource extends DataFlow::Node {
175173 SecretSource ( ) { secret = this .asExpr ( ) }
176174
177175 /** Holds if the secret was deliverd by remote user. */
178- predicate includesUserInput ( ) { UserInputSecretFlow:: flowTo ( DataFlow2 :: exprNode ( secret ) ) }
176+ predicate includesUserInput ( ) { UserInputSecretFlow:: flowTo ( DataFlow :: exprNode ( secret ) ) }
179177}
180178
181179/** A string for `match` that identifies strings that look like they represent secret data. */
You can’t perform that action at this time.
0 commit comments