style:auto format

Author: liangjinhuang

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"

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()

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()

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
       )