Convert model from QL to MaD

Author: egregius313

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

@@ -46,6 +46,7 @@ extensions:
       pack: codeql/go-all
       extensible: sourceModel
     data:
+      - ["os", "", False, "Args", "", "", "", "commandargs", "manual"]
       - ["os", "", False, "Environ", "", "", "ReturnValue", "environment", "manual"] # TODO: when sources can have access paths, use .ArrayElement
       - ["os", "", False, "ExpandEnv", "", "", "ReturnValue", "environment", "manual"]
       - ["os", "", False, "Getenv", "", "", "ReturnValue", "environment", "manual"]

go/ql/lib/semmle/go/frameworks/stdlib/Os.qll

@@ -43,10 +43,4 @@ module Os {
       input = inp and output = outp
     }
   }
-
-  private class ArgsSource extends SourceNode {
-    ArgsSource() { exists(Variable v | v.hasQualifiedName("os", "Args") | this = v.getARead()) }
-
-    override string getThreatModel() { result = "commandargs" }
-  }
 }