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

Puffs，全名为 Parsing Untrusted File Formats Safely ，是 Google 开源的一个用于特定领域的语言和库，可安全地解析不受信任的文件格式，包括图像、音频、视频、字体和压缩档案等。 与 C 语言不同，Puffs 对于缓冲区溢出、整数算术溢出和空指针解引用是非常安全的。Puff 和其他内存安全语言之间的主要区别在于，所有这些检查都是在编译时完成的，而不是在运行时完成的。 Puffs 旨在像 Go 或 Rust 一样生成安全的软件库，同时能像 C 一样快，可以在任何使用 C 库的地方使用。但需注意的是，Puffs 不是一种通用的编程语言，虽然在技术上可行，但似乎不值得去写一个专门的 Puffs 编译器出来。