tis-interpreter

标签

#tis-interpreter

用细齿梳检查 SQLite

Lobsters Hottest ↗ · 2026-08-09 缓存

John Regehr 描述了使用 tis-interpreter 在 SQLite 中搜索未定义行为，发现了其他工具遗漏的错误，如悬空指针使用和未初始化读取。

0 人收藏 0 人点赞