• alganet a day ago |
    My first insinct would be to remove the bashisms first:

    https://gist.github.com/alganet/a4198158651f3b2dc43ce658052e...

    Then, if we run it:

    "line 3: test: a[$(cat /etc/passwd > /tmp/pwned)] + 42: integer expression expected"

    • woodruffw a day ago |
      (Author of the post.)

      Yep, this is specifically a bashism (by way of being a kshism). However, it's worth noting that the second variant (`type -v`) will work in `[` and `test`.

      (It's also a still a bashism, but IME people don't realize how little of `type` is actually POSIX.)

      • alganet a day ago |
        The second variant (test -v) for me doesn't error out, but also doesn't write the /tmp/pwnd file, which tells me there is no subscript eval there.
        • woodruffw a day ago |
          Did you run it in bash, or in sh? It won't work in a strictly POSIX sh (in that context, I assume `type` will attempt to query each argument as if it were a PATH candidate, and then return nothing).

          For reference, this works for me in Bash 5.2:

              test -v 'x[$(cat /etc/passwd)]'
          • alganet a day ago |
            I ran it by creating a file named "guess.sh" with the function and a `guess "$@"` call to it, then passing 'a[$(cat /etc/passwd > /tmp/pwned)] + 42' as a parameter to the script. Bash 5.2.
        • yjftsjthsd-h a day ago |
          What shell and what `test` are you using?
          • alganet a day ago |
            In this case I did some tests with latest dash and latest bash. I tested only with builtin `test`.
      • jcranmer a day ago |
        > (It's also a still a bashism, but IME people don't realize how little of `type` is actually POSIX.)

        I just declare all of my shell scripts to use bash, since I've got no idea how much of anything is a bashism versus POSIX, and I hate shell scripts enough that I don't care to learn.

      • usr1106 a day ago |
        You are defining a function and then you use it interactively. That does not demonstrate that bash scripting is dangerous. Can you demonstrate the problem in a script?

        Yes, you can do dangerous things in bash scripts. This might be one of them. Not at my computer now and no time to experiment.

  • PhilipRoman a day ago |
    Yuck, I was always instinctively put off by [[, now I finally have some arguments to justify it.

    IMO safe shell scripting is kind of dead. I can do it if I really have to, but too many external programs have tricky "convenience" features like interpreting flags after positional parameters, etc.

    • kreetx a day ago |
      Ack to yuck, but dead.. definitely not. Pretty sure large amounts of shell still get written, mostly due to it being the default scripting interface to the operating system.
      • PhilipRoman a day ago |
        I don't mean that all shell scripting is dead (emphasis on the word safe), but it should not be at a security boundary.
  • webstrand a day ago |
    I... don't understand. I thought the whole reason for using [[ and breaking posix compatibility was to prevent just this kind of vulnerability. Why would bash do this.
    • oneshtein a day ago |
      Instead of `if [[ "${num}" -eq 42 ]]`, bash expects `if [ "${num}" -eq 42 ]` or `if (( num==42 ))`.
      • tpoacher a day ago |
        or if test $num -eq 42, which is the most sensible way to do it in my view, since it really makes the point clear that what you're really evaluating is the exit status of the evaluated command

        (and where '[' is simply an alias to 'test')

      • jwilk a day ago |
        "if (( num==42 ))" can exectue code from $num too.
        • Leynos a day ago |
          Typeset num as an integer.
  • zettabomb a day ago |
    Honestly I just don't write shell scripts anymore, bash or otherwise. By the time any system I use is up, Python is available. I don't know if I've found a true need for shell in anything application level. I'll even fire up a Python shell for something simple like mass renaming files, simply because the string manipulation is so much easier.
  • spiffytech a day ago |
    What's the fix for those code samples?

    Shellcheck currently gives Sample 1 a pass. I hope this is something it can be modified to catch.

    • webstrand a day ago |
    • usr1106 a day ago |
      The first function one is not particularly well-written, but harmless. The quoting of

         ${num}
      
      is completely useless. Inside [[ bash does not do any word splitting after variable expansion. Double quotes never prevent variable expansion. I am not sure what the author is talking about. Shellcheck is correct to not complain. I stopped reading there.
      • woodruffw a day ago |
        > Double quotes never prevent variable expansion. I am not sure what the author is talking about. Shellcheck is correct to not complain. I stopped reading there.

        I think it would behoove you to read the rest of the post. The double quotes are not the operative part of example there; they're only there to demonstrate that the code execution doesn't come from splatting or word splitting.

        The actual code execution in Case #1 comes from the fact that bash (and other ksh descendants) run arithmetic evaluation on some strings in arithmetic contexts, regardless of their double or single quoting. That evaluation, in turn, can run arbitrary shell commands.

        • usr1106 a day ago |
          Ok, need to read it again with more time.

          Myself I typically don't script in bash. Most of the extras like [[ are not needed, you can do everything in dash. Arrays are the only feature that comes to my mind where bash would be handy.

          • casey2 a day ago |
            I can only assume you were down-voted for calling bloat like arrays useful.
        • usr1106 a day ago |
          So -eq triggers evaluation? Sounds like typical bash magic. I would use [ an the problem goes away.

          Showing -eq is not the best example, it can just be replaced by = and the problem goes away.

          But if you need -gt or similar there is no replacement. So one should stick to [.

          If I follow correctly the dangerous combination is [[ and arithmetic comparisons?

          • woodruffw a day ago |
            `-eq` is for arithmetic comparison; `=` is for string comparison. They don't do the same thing, and it's unsound to uniformly replace either with the other.

            The dangerous thing here is that an undefined number of contexts exist where Bash treats strings as arithmetic expressions, which can contain arbitrary code despite not being quoted for expansion. `-eq` is just one example of that; others have linked other examples.

            (This is all for case #1. With case #2, `[` and `test` are also susceptible so long as their builtin variants are used.)

            • usr1106 a day ago |
              Can you give an example where = would be unsuitable for comparison of numbers?
              • woodruffw a day ago |
                Here's a trivial one:

                    $ [[ 0xFF -eq 255 ]] ; echo $?
                    0
                
                    $ [[ 0xFF = 255 ]] ; echo $?
                    1
                • usr1106 20 hours ago |
                  Oh, hex. Another bashism. Not sure when I would have needed that in a shell script last time. So in most cases just using [ solves the problem. If you want to use hex from untrusted user input you need to validate the input first. Yes, the bash programmer needs to be aware of many pitfalls. I wasn't, but I would call myself more a bash avoider than a bash programmer. Yes, I use bash for interactive use, talking only about scripting.
    • pizzalife a day ago |
      Honestly, the fix is to only allow alphanumeric input to shellscripts. Anything else invariably fails at some point.
      • lmz 21 hours ago |
        Taint checking as in Perl would be nice.
  • voidfunc a day ago |
    So many footguns in bash. When do we finally get serious about ditching this language as an industry in the same way we are about memory safety?
    • jerf a day ago |
      A lot of this behavior is only a major problem if you're putting arbitrary input in, and especially, externally sourced input.

      The "good news" is that bash is so full of ways to get command execution that people blow their foot off and get compromised long before these little details are what are compromising their system. People get popped putting in user input at the base string layer where all you have to do is slap down a semi-colon to get arbitrary command execution long before they're getting popped by obscure "test" behaviors.

    • factormeta a day ago |
      Oh no!!! But what about all those Docker files, and k8 clusters!!!

      Serious, please view the curled file from a link before piping it to bash/sh.

    • alganet a day ago |
      You underestimate the effort of doing this.

      We all want bash gone, but it is an essential piece of infrastructure. The introduction of dash was a huge step in this direction (of ditching bash).

      Do you want to help? Try to remove bash from the toolchain bootstrap. It is one of the lowest hanging fruits right now.

    • flanbiscuit a day ago |
      Curious what you use instead of bash? When you spin up a server somewhere, what's the first thing you like to install that replaces what we typically use bash for?
      • everforward a day ago |
        Do these apply to NuShell? I think something like that is the way forward. Something with real data types rather than implicitly doing weird array processing. I would be pretty happy with something similar to Python but with easier IO redirection and subprocess management.

        xonsh is neat in principle, but painful in actual usage ime. And I suspect vulnerable to similar issues around the Python-bash interop.

        • alganet a day ago |
          What would you do with `configure` scripts?

          Let's say you need to install some third party software that is pretty standard `./configure && make && make install`, what would you do? Port `configure` to python?

          • sshine 18 hours ago |
            sh
  • mmsc a day ago |
    Unfortunately, there's a lot of gotchas in Bash like this. A lot of them are documented here: https://mywiki.wooledge.org/BashPitfalls, including the `test -v` case, which is #61. Some more code execution pitfalls are documented here: https://mywiki.wooledge.org/BashProgramming/05?action=show&r... including the `-eq` part (under Arithmetic Expansion).

    Basically, the -v case was by design, so for `-v 'hash[$key]'`, "$key is expanded before the array subscript evaluation, and then the whole array plus expanded index is evaluated in a second pass". "Newer versions of bash (5.0 and higher) have a assoc_expand_once option which will suppress the multiple evaluations"

    Note that the `-v` case doesn't really work the way one may infer from reading the OP:

    > $ key='$(cat /etc/passwd > /tmp/pwned)'

    > $ [[ -v 'x[$key]' ]]

    > bash: $(cat /etc/passwd > /tmp/pwned): syntax error: operand expected (error token is "$(cat /etc/passwd > /tmp/pwned)") *

    > [[ -v "${x[$key]}" ]]

    > bash: $(cat /etc/passwd > /tmp/pwned): syntax error: operand expected (error token is "$(cat /etc/passwd > /tmp/pwned)")

  • tpoacher a day ago |
    From what I understand, based on the premise that this results from switching into 'arithmetic' mode, you don't even need test. The following will also work with the proposed attack:

      function guess () { declare -i num="${1}" ; }
    
    (unless I'm missing something?)
    • joveian 13 hours ago |
      Why I couldn't guess but an example similar to the article that I tried does not immediately execute (version 5.2.37(1)-release) when indrected through a variable as you show although other aritmetic evaluation does still happen when indirected. You can echo "${num}" and it shows the passed string. If you change it to declare -i num ; num="${1}" then it does immediately execute.
  • tpoacher a day ago |
    Question: why does the evaluation inside a[] (which does not produce a value) not result in a bad array subscript error in this case?

    if you try to evaluate this kind of things as an arithmetic expression directly, it will fail with an error of a bad subscript (mind you, the attack will still work though).