diff --git a/scripts/kani-std-analysis/std-analysis.sh b/scripts/kani-std-analysis/std-analysis.sh
index 0aabc09ae4419..292233883801a 100755
--- a/scripts/kani-std-analysis/std-analysis.sh
+++ b/scripts/kani-std-analysis/std-analysis.sh
@@ -18,18 +18,18 @@
 set -eu
 
 # Test for platform
-PLATFORM=$(uname -sp)
+PLATFORM=$(uname -sm)
 if [[ $PLATFORM == "Linux x86_64" ]]
 then
   TARGET="x86_64-unknown-linux-gnu"
   # 'env' necessary to avoid bash built-in 'time'
   WRAPPER="env time -v"
-elif [[ $PLATFORM == "Darwin i386" ]]
+elif [[ $PLATFORM == "Darwin x86_64" ]]
 then
   TARGET="x86_64-apple-darwin"
   # mac 'time' doesn't have -v
   WRAPPER="time"
-elif [[ $PLATFORM == "Darwin arm" ]]
+elif [[ $PLATFORM == "Darwin arm64" ]]
 then
   TARGET="aarch64-apple-darwin"
   # mac 'time' doesn't have -v