Puffs 安全地解析不受信任的文件格式

Puffs，全名为 Parsing Untrusted File Formats Safely ，是 Google 开源的一个用于特定领域的语言和库，可安全地解析不受信任的文件格式，包括图像、音频、视频、字体和压缩档案等。

与 C 语言不同，Puffs 对于缓冲区溢出、整数算术溢出和空指针解引用是非常安全的。Puff 和其他内存安全语言之间的主要区别在于，所有这些检查都是在编译时完成的，而不是在运行时完成的。

Puffs旨在像 Go 或 Rust 一样生成安全的软件库，同时能像 C 一样快，可以在任何使用 C 库的地方使用。但需注意的是，Puffs 不是一种通用的编程语言，虽然在技术上可行，但似乎不值得去写一个专门的 Puffs 编译器出来。

$gitdiffdiff--gita/std/gif/decode_lzw.puffsb/std/gif/decode_lzw.puffsindexf878c5e..b43443d100644---a/std/gif/decode_lzw.puffs+++b/std/gif/decode_lzw.puffs@@-97,8+97,8@@pubfunclzw_decoder.decode?(dstptrbuf1,srcptrbuf1,src_finalbool)(){//typechecking,boundscheckingandcodegenerationforit).in.dst.write?(x:s)-ifuse_save_code{-this.suffixes[save_code]=casu8+ifuse_save_codeand(c<200){+this.suffixes[save_code]=(c+1)asu8this.prefixes[save_code]=prev_codeasu16}$puffsgenstd/gifgenwrote:/home/n/go/src/github.com/google/puffs/gen/c/gif.cgenunchanged:/home/n/go/src/github.com/google/puffs/gen/h/gif.h$puffsteststd/gifgenunchanged:/home/n/go/src/github.com/google/puffs/gen/c/gif.cgenunchanged:/home/n/go/src/github.com/google/puffs/gen/h/gif.htest:/home/n/go/src/github.com/google/puffs/test/c/gifgif/basic.cclangPASS(8testsrun)gif/basic.cgccPASS(8testsrun)gif/gif.cclangFAILtest_lzw_decode:bufs1_equal:wi:got19311,want19200.contentsdifferatbyte3(inhex:0x000003):000000:dcdcdc0000d9f5f9f6dfdc5f393a3a3a..........._9:::000010:3a3b618ec8e4e4e4e5e4e60000e4bbbb:;a.............000020:eded8f91919190909090919091929192................000030:919192929191929393f0f0f0f1f1f2f2................excerptsofgot(above)versuswant(below):000000:dcdcdcdcdcd9f5f9f6dfdc5f393a3a3a..........._9:::000010:3a3a618ec8e4e4e4e5e4e6e4e4e4bbbb::a.............000020:eded8f91919190909090909091919191................000030:919191919191919393f0f0f0f1f1f2f2................gif/gif.cgccFAILtest_lzw_decode:bufs1_equal:wi:got19311,want19200.contentsdifferatbyte3(inhex:0x000003):000000:dcdcdc0000d9f5f9f6dfdc5f393a3a3a..........._9:::000010:3a3b618ec8e4e4e4e5e4e60000e4bbbb:;a.............000020:eded8f91919190909090919091929192................000030:919192929191929393f0f0f0f1f1f2f2................excerptsofgot(above)versuswant(below):000000:dcdcdcdcdcd9f5f9f6dfdc5f393a3a3a..........._9:::000010:3a3a618ec8e4e4e4e5e4e6e4e4e4bbbb::a.............000020:eded8f91919190909090909091919191................000030:919191919191919393f0f0f0f1f1f2f2................puffs-test-c:sometestsfailedpuffstest:sometestsfailed