Perl XS实现libtiff绑定执行free时Windows平台偶发崩溃问题求助

问题分析 #

你给出的XS代码不存在buf重复释放的问题：newSVpvn会把buf指向的内存内容完整拷贝到新创建的SV结构体中，不会持有原buf的指针，后续调用_TIFFfree(buf)是合法操作。
随机崩溃大概率是以下几个平台兼容性问题触发的，Windows对内存违规操作的容错性远低于Linux，所以只会在Windows环境复现：

• 缺少内存分配失败检查：_TIFFmalloc(stripsize)可能返回NULL，若后续TIFFReadRawStrip直接向空指针地址写入数据会直接触发访问冲突崩溃。Linux下内存分配成功率更高，小内存分配极少返回NULL，所以一直没触发问题。
• 缺少参数边界校验：传入的size参数没有和TIFFStripSize返回的stripsize做对齐校验，如果传入的size大于实际Strip的大小，会触发堆缓冲区溢出，Windows的堆保护机制会直接杀死进程，而Linux的堆结构相对宽松，溢出未破坏关键结构时不会马上崩溃。
• 未处理函数错误返回值：TIFFReadRawStrip调用失败时会返回-1，如果tmsize_t是无符号类型，-1会被隐式转换为极大的正整数，虽然现有逻辑只判断bufsize>0才会走SV创建逻辑，该问题影响不大，但仍建议补全错误处理避免潜在风险。

修复后的代码参考 #

void
tiff_ReadRawStrip (tif, strip, size)
            TIFF            *tif
            uint32_t        strip
            tmsize_t        size
INIT:
            void            *buf;
            tmsize_t        stripsize, bufsize;
PPCODE:
            stripsize = TIFFStripSize(tif);
            /* 校验stripsize合法性 */
            if (stripsize <= 0) {
                XSRETURN_UNDEF;
            }
            /* 校验传入size不超过实际strip大小 */
            if (size > stripsize) {
                size = stripsize;
            }
            buf = (unsigned char *)_TIFFmalloc(stripsize);
            /* 检查内存分配结果 */
            if (!buf) {
                XSRETURN_UNDEF;
            }
            bufsize = TIFFReadRawStrip(tif, strip, buf, size);
            if (bufsize > 0) {
                XPUSHs(sv_2mortal(newSVpvn(buf, bufsize)));
            }
            _TIFFfree(buf);

内容的提问来源于stack exchange，提问作者DobbyTheElf