随机字节导致libc read读取buf为负的原因及进入if分支的方法

现象原因 #

• 有符号整数符号位触发：buf是有符号int类型（通常占4字节），read直接把管道传来的4个随机字节写入buf的内存空间。当这4字节组成的二进制值最高位（对应int的符号位）为1时，会被解释为负数，导致buf < 0从而进入else分支。
• 字节序的影响：在x86/x64这类小端序系统中，字节流的第4个字节（最后被read的字节）对应int的最高位（符号位）。如果这个字节的数值≥0x80（二进制最高位为1），整个int就会被判定为负数。

进入if分支的方法 #

• 构造合法的前4字节：确保前4字节对应的有符号int值≥0。在小端系统下，只需保证第4个字节的数值≤0x7F（二进制最高位为0）；或者直接生成一个0到int.MaxValue（2147483647）之间的整数，将其按系统字节序转换为4字节输出。
• .NET端示例代码：

using System;
using System.IO;

class Program
{
    static void Main()
    {
        // 生成0到76之间的合法长度（避免v4数组溢出）
        int length = new Random().Next(0, 77);
        // 将长度转换为字节（默认按系统字节序，小端）
        byte[] lengthBytes = BitConverter.GetBytes(length);
        // 输出长度字节
        Console.OpenStandardOutput().Write(lengthBytes, 0, 4);
        // 输出对应长度的随机字节
        byte[] randomBytes = new byte[length];
        new Random().NextBytes(randomBytes);
        Console.OpenStandardOutput().Write(randomBytes, 0, length);
    }
}

• 注意缓冲区限制：v4数组仅76字节，所以buf的值不能超过76，否则会触发缓冲区溢出，导致程序崩溃或未定义行为。

内容的提问来源于stack exchange，提问作者T. Webster