@@ -40,12 +40,12 @@ extensions:
4040 - ["os", "", False, "ExpandEnv", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
4141 - ["os", "", False, "NewFile", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
4242 - ["os", "File", True, "Fd", "", "", "Argument[receiver]", "ReturnValue", "taint", "manual"]
43- - ["os", "File", True, "Read", "", "", "Argument[receiver]", "Argument[0].Element ", "taint", "manual"]
44- - ["os", "File", True, "ReadAt", "", "", "Argument[receiver]", "Argument[0].Element ", "taint", "manual"]
43+ - ["os", "File", True, "Read", "", "", "Argument[receiver]", "Argument[0]", "taint", "manual"]
44+ - ["os", "File", True, "ReadAt", "", "", "Argument[receiver]", "Argument[0]", "taint", "manual"]
4545 - addsTo :
4646 pack : codeql/go-all
4747 extensible : sourceModel
4848 data :
49- - ["os", "", False, "Open", "", "", "ReturnValue", "file", "manual"]
50- - ["os", "", False, "OpenFile", "", "", "ReturnValue", "file", "manual"]
51- - ["os", "", False, "ReadFile", "", "", "ReturnValue", "file", "manual"]
49+ - ["os", "", False, "Open", "", "", "ReturnValue[0] ", "file", "manual"]
50+ - ["os", "", False, "OpenFile", "", "", "ReturnValue[0] ", "file", "manual"]
51+ - ["os", "", False, "ReadFile", "", "", "ReturnValue[0] ", "file", "manual"]
0 commit comments