style:auto format

liangjinhuang · liangjinhuang · commit 1dd15fa23544 · 2022-02-02T01:30:54.000+08:00
diff --git a/python/ql/src/experimental/Security/CWE-338/InsecureRandomness.ql b/python/ql/src/experimental/Security/CWE-338/InsecureRandomness.ql
@@ -20,4 +20,4 @@ import DataFlow::PathGraph
 from Configuration cfg, DataFlow::PathNode source, DataFlow::PathNode sink
 where cfg.hasFlowPath(source, sink)
 select sink.getNode(), source, sink, "Cryptographically insecure $@ in a security context.",
-  source.getNode(), "random value"
+  source.getNode(), "random value"
diff --git a/python/ql/src/experimental/Security/CWE-338/examples/InsecureRandomness.py b/python/ql/src/experimental/Security/CWE-338/examples/InsecureRandomness.py
@@ -1,5 +1,6 @@
 import random
 
+
 def generatePassword():
     # BAD: the random is not cryptographically secure
     return random.random()
diff --git a/python/ql/src/experimental/Security/CWE-338/examples/InsecureRandomnessGood.py b/python/ql/src/experimental/Security/CWE-338/examples/InsecureRandomnessGood.py
@@ -1,6 +1,7 @@
 import secrets
 
+
 def generatePassword():
     # GOOD: the random is cryptographically secure
     secret_generator = secrets.SystemRandom()
-    return secret_generator.random()
+    return secret_generator.random()
diff --git a/python/ql/src/experimental/semmle/python/security/InsecureRandomnessCustomizations.qll b/python/ql/src/experimental/semmle/python/security/InsecureRandomnessCustomizations.qll
@@ -58,7 +58,9 @@ module InsecureRandomness {
   class RandomFnSink extends Sink {
     RandomFnSink() {
       exists(DataFlowCallable randomFn |
-        randomFn.getName().regexpMatch("(?i).*(gen(erate)?|make|mk|create).*(nonce|salt|pepper|Password).*")
+        randomFn
+            .getName()
+            .regexpMatch("(?i).*(gen(erate)?|make|mk|create).*(nonce|salt|pepper|Password).*")
       |
         this.getEnclosingCallable() = randomFn
       )

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,9 @@ module InsecureRandomness {`
`58`	`58`	`class RandomFnSink extends Sink {`
`59`	`59`	`RandomFnSink() {`
`60`	`60`	`exists(DataFlowCallable randomFn \|`
`61`		`- randomFn.getName().regexpMatch("(?i).(gen(erate)?\|make\|mk\|create).(nonce\|salt\|pepper\|Password).*")`
	`61`	`+ randomFn`
	`62`	`+ .getName()`
	`63`	`+ .regexpMatch("(?i).(gen(erate)?\|make\|mk\|create).(nonce\|salt\|pepper\|Password).*")`
`62`	`64`	`\|`
`63`	`65`	`this.getEnclosingCallable() = randomFn`
`64`	`66`	`)`