Add file sources

Author: egregius313

go/ql/lib/ext/os.model.yml

@@ -7,3 +7,12 @@ extensions:
       - ["os", "", False, "ExpandEnv", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
       - ["os", "", False, "NewFile", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
       - ["os", "File", True, "Fd", "", "", "Argument[receiver]", "ReturnValue", "taint", "manual"]
+      - ["os", "File", True, "Read", "", "", "Argument[receiver]", "Argument[0].Element", "taint", "manual"]
+      - ["os", "File", True, "ReadAt", "", "", "Argument[receiver]", "Argument[0].Element", "taint", "manual"]
+  - addsTo:
+      pack: codeql/go-all
+      extensible: sourceModel
+    data:
+      - ["os", "", False, "Open", "", "", "ReturnValue", "file", "manual"]
+      - ["os", "", False, "OpenFile", "", "", "ReturnValue", "file", "manual"]
+      - ["os", "", False, "ReadFile", "", "", "ReturnValue", "file", "manual"]