Skip to content

Commit d52f95d

Browse files
committed
Auto Formatting
1 parent 29ddc76 commit d52f95d

File tree

2 files changed

+5
-4
lines changed

2 files changed

+5
-4
lines changed

python/ql/src/experimental/semmle/python/Frameworks.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* Helper file that imports all framework modeling.
33
*/
4+
45
private import experimental.semmle.python.frameworks.Stdlib
56
private import experimental.semmle.python.frameworks.LDAP
67
private import experimental.semmle.python.frameworks.NoSQL

python/ql/src/experimental/semmle/python/frameworks/Log.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ private module log {
3737

3838
override DataFlow::Node getAnInput() {
3939
this.getFunction().(DataFlow::AttrRead).getAttributeName() != "log" and
40-
result in [this.getArg(_), this.getArgByName(_) ] // this includes the arg named "msg"
40+
result in [this.getArg(_), this.getArgByName(_)] // this includes the arg named "msg"
4141
or
4242
this.getFunction().(DataFlow::AttrRead).getAttributeName() = "log" and
4343
result in [this.getArg(any(int i | i > 0)), this.getArgByName(any(string s | s != "level"))]
@@ -61,7 +61,7 @@ private module log {
6161

6262
override DataFlow::Node getAnInput() {
6363
this.getFunction().(DataFlow::AttrRead).getAttributeName() != "log" and
64-
result in [this.getArg(_), this.getArgByName(_) ] // this includes the arg named "msg"
64+
result in [this.getArg(_), this.getArgByName(_)] // this includes the arg named "msg"
6565
or
6666
this.getFunction().(DataFlow::AttrRead).getAttributeName() = "log" and
6767
result in [this.getArg(any(int i | i > 0)), this.getArgByName(any(string s | s != "level"))]
@@ -84,7 +84,7 @@ private module log {
8484

8585
override DataFlow::Node getAnInput() {
8686
this.getFunction().(DataFlow::AttrRead).getAttributeName() != "log" and
87-
result in [this.getArg(_), this.getArgByName(_) ] // this includes the arg named "msg"
87+
result in [this.getArg(_), this.getArgByName(_)] // this includes the arg named "msg"
8888
or
8989
this.getFunction().(DataFlow::AttrRead).getAttributeName() = "log" and
9090
result in [this.getArg(any(int i | i > 0)), this.getArgByName(any(string s | s != "level"))]
@@ -109,7 +109,7 @@ private module log {
109109

110110
override DataFlow::Node getAnInput() {
111111
this.getFunction().(DataFlow::AttrRead).getAttributeName() != "log" and
112-
result in [this.getArg(_), this.getArgByName(_) ] // this includes the arg named "msg"
112+
result in [this.getArg(_), this.getArgByName(_)] // this includes the arg named "msg"
113113
or
114114
this.getFunction().(DataFlow::AttrRead).getAttributeName() = "log" and
115115
result in [this.getArg(any(int i | i > 0)), this.getArgByName(any(string s | s != "level"))]

0 commit comments

Comments
 (0)