Rust: Remove QL models for std::env sources.

Author: geoffw0

rust/ql/lib/codeql/rust/frameworks/stdlib/Env.qll

@@ -4,33 +4,3 @@
 
 private import rust
 private import codeql.rust.Concepts
-
-/**
- * A call to `std::env::args` or `std::env::args_os`.
- */
-private class StdEnvArgs extends CommandLineArgsSource::Range {
-  StdEnvArgs() {
-    this.asExpr().getExpr().(CallExpr).getFunction().(PathExpr).getResolvedPath() =
-      ["crate::env::args", "crate::env::args_os"]
-  }
-}
-
-/**
- * A call to `std::env::current_dir`, `std::env::current_exe` or `std::env::home_dir`.
- */
-private class StdEnvDir extends CommandLineArgsSource::Range {
-  StdEnvDir() {
-    this.asExpr().getExpr().(CallExpr).getFunction().(PathExpr).getResolvedPath() =
-      ["crate::env::current_dir", "crate::env::current_exe", "crate::env::home_dir"]
-  }
-}
-
-/**
- * A call to `std::env::var`, `std::env::var_os`, `std::env::vars` or `std::env::vars_os`.
- */
-private class StdEnvVar extends EnvironmentSource::Range {
-  StdEnvVar() {
-    this.asExpr().getExpr().(CallExpr).getFunction().(PathExpr).getResolvedPath() =
-      ["crate::env::var", "crate::env::var_os", "crate::env::vars", "crate::env::vars_os"]
-  }
-}

rust/ql/test/library-tests/dataflow/sources/InlineFlow.expected

@@ -0,0 +1,4 @@
+| test.rs:8:34:8:84 | //... | Missing result: hasTaintFlow |
+| test.rs:9:37:9:87 | //... | Missing result: hasTaintFlow |
+| test.rs:41:20:41:36 | //... | Missing result: hasTaintFlow |
+| test.rs:45:20:45:36 | //... | Missing result: hasTaintFlow |

rust/ql/test/library-tests/dataflow/sources/TaintSources.expected

@@ -1,17 +1,19 @@
-| test.rs:8:10:8:30 | ...::var(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:9:10:9:33 | ...::var_os(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:11:16:11:36 | ...::var(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:12:16:12:39 | ...::var_os(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:17:25:17:40 | ...::vars(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:22:25:22:43 | ...::vars_os(...) | Flow source 'EnvironmentSource' of type environment. |
-| test.rs:29:29:29:44 | ...::args(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:32:16:32:31 | ...::args(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:33:16:33:34 | ...::args_os(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:40:16:40:31 | ...::args(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:44:16:44:34 | ...::args_os(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:50:15:50:37 | ...::current_dir(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:51:15:51:37 | ...::current_exe(...) | Flow source 'CommandLineArgs' of type commandargs. |
-| test.rs:52:16:52:35 | ...::home_dir(...) | Flow source 'CommandLineArgs' of type commandargs. |
+#select
 | test.rs:60:26:60:70 | ...::get(...) | Flow source 'RemoteSource' of type remote (DEFAULT). |
 | test.rs:63:26:63:70 | ...::get(...) | Flow source 'RemoteSource' of type remote (DEFAULT). |
 | test.rs:66:26:66:60 | ...::get(...) | Flow source 'RemoteSource' of type remote (DEFAULT). |
+testFailures
+| test.rs:8:34:8:84 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:9:37:9:87 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:11:62:11:99 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:12:51:12:88 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:17:44:17:81 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:22:47:22:84 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:29:57:29:94 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:32:50:32:87 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:33:53:33:90 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:40:35:40:72 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:44:38:44:75 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:50:57:50:94 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:51:57:51:94 | //... | Missing result: Alert[rust/summary/taint-sources] |
+| test.rs:52:55:52:92 | //... | Missing result: Alert[rust/summary/taint-sources] |