Add regression test for the IO safety violation

test-framework/e2e-tests/src/regression.rs

@@ -15,3 +15,24 @@ fn syslog_writer_should_not_hang() -> Result<()> {
 
     Ok(())
 }
+
+#[test]
+fn no_permissions_should_not_violate_io_safety() -> Result<()> {
+    let env = Env(TextFile("ALL ALL=(ALL:ALL) NOPASSWD: ALL").chmod("644"))
+        .file("/bin/foo", "#!/bin/sh") // File not executable
+        .build()?;
+
+    let output = Command::new("sudo").arg("/bin/foo").output(&env)?;
+
+    assert!(!output.status().success());
+
+    let stderr = output.stderr();
+    assert!(!stderr.contains("IO Safety violation"), "{stderr}");
+
+    assert_eq!(
+        stderr,
+        "sudo-rs: cannot execute '/usr/bin/foo': Permission denied (os error 13)"
+    );
+
+    Ok(())
+}