--- ping.c.orig	Sun Aug 30 23:54:04 2026
+++ ping.c	Fri Aug 28 14:49:42 2026
@@ -768,12 +768,29 @@
 	}
 
 	if (options & F_HOSTNAME) {
+          /* pledgeによる誓約: 標準入出力、IP通信、名前解決 */
 		if (pledge("stdio inet dns", NULL) == -1)
 			err(1, "pledge");
 	} else {
+          /* pledgeによる誓約: 標準入出力、IP通信 */
 		if (pledge("stdio inet", NULL) == -1)
 			err(1, "pledge");
 	}
+
+
+        /* pledgeで誓約されていない操作
+         * (ファイルのオープン/クローズ)
+         *  を挿入
+         */
+
+        FILE *logfile;
+
+        if ((logfile = fopen("/var/log/messages", "r")) != NULL) {
+          printf("/var/log/messages opened\n");
+          fclose(logfile);
+        } else {
+          printf("failed to open /var/log/messages\n");
+        }
 
 	arc4random_buf(&tv64_offset, sizeof(tv64_offset));
 	arc4random_buf(&mac_key, sizeof(mac_key));