Python: Add FileSystemAccess open

yoff · yoff · commit 17273dd27e8f · 2020-10-21T22:01:49.000+02:00
diff --git a/python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll b/python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll
@@ -681,3 +681,13 @@ private class ExecStatement extends CodeExecution::Range {
 
   override DataFlow::Node getCode() { result = this }
 }
+
+private class OpenCall extends FileSystemAccess::Range, DataFlow::CfgNode {
+  override CallNode node;
+
+  OpenCall() { node.getFunction().(NameNode).getId() = "open" }
+
+  override DataFlow::Node getAPathArgument() {
+    result.asCfgNode() in [node.getArg(0), node.getArgByName("file")]
+  }
+}
