Flatbuffers内置验证器异常？传入无效数据仍显示验证通过

嘿，这个问题其实是FlatBuffers验证机制里很容易踩的一个坑，咱们一步步理清楚：

为什么全0Buffer会被验证通过？ #

你创建的10字节buffer是**全默认值（0字节）**的，而FlatBuffer的结构特性刚好让这种全0数据被解析成一个“合法”的空对象：

• FlatBuffer的头部是一个uoffset_t（通常4字节），指向根对象的位置。全0的话，根偏移就是0，意味着根对象从buffer的起始位置开始。
• 根对象的第一个字段是指向vtable的偏移，全0的话vtable也在起始位置。
• 这个全0的vtable会被解析成一个没有任何字段的合法vtable，所有字段的偏移都是0，而且整个结构的大小完全在你设定的10字节范围内。

FlatBuffer的Verify方法主要做的是检查结构内的偏移、长度是否不超出buffer范围，以及字段类型是否匹配——全0数据刚好满足这些条件，所以验证就通过了。

你的代码还有一个关键问题：调用验证的方式不对 #

你现在是先调用GetRoot获取根对象，再调用对象的Verify，但GetRoot本身不会做任何有效性检查，它只是直接把指针强制转换成FlatBuffer对象。如果buffer是完全无效的（比如随机数据），GetRoot会导致未定义行为，之后再调用Verify也没有意义。

正确的做法是直接用Verifier的VerifyBuffer方法，它会先检查整个buffer的基本合法性（比如根偏移是否在buffer范围内、vtable是否有效等）：

std::vector<std::byte> body_buffer;
body_buffer.resize(10);
// 填充随机无效数据，代替全0
std::fill(body_buffer.begin(), body_buffer.end(), std::byte{0xFF});

flatbuffers::Verifier verifier(reinterpret_cast<const uint8_t*>(body_buffer.data()), body_buffer.size());
// 直接用Verifier的VerifyBuffer方法验证
bool verify = verifier.VerifyBuffer<Vibranium::VerifyPacketRequest>();

if(verify){
    std::cout << "VERIFIED!" << std::endl;
} else {
    std::cout << "NOT VERIFIED!" << std::endl;
}

怎么测试无效数据才能被检测出来？ #

如果想测试验证器的有效性，别用全0buffer，试试这些场景：

• 填充随机字节（比如上面代码里的0xFF）
• 截断一个合法的FlatBuffer（比如把合法buffer的最后几个字节删掉）
• 修改合法buffer的根偏移值，让它超出buffer的长度范围

这些场景下，VerifyBuffer都会正确返回false，检测出无效数据。

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