(args: string[])
| 1807 | } |
| 1808 | |
| 1809 | function isDotnetSafe(args: string[]): boolean { |
| 1810 | if (args.length === 0) { |
| 1811 | return false |
| 1812 | } |
| 1813 | |
| 1814 | // dotnet uses top-level flags like --version, --info, --list-runtimes |
| 1815 | // All args must be in the safe set |
| 1816 | for (const arg of args) { |
| 1817 | if (!DOTNET_READ_ONLY_FLAGS.has(arg.toLowerCase())) { |
| 1818 | return false |
| 1819 | } |
| 1820 | } |
| 1821 | |
| 1822 | return true |
| 1823 | } |
| 1824 |
no test coverage detected