{"type":"link","version":"1.0","title":"作者在 Trust-in-Soft… · SQLite with a… | HotDaily","description":"作者在 Trust-in-Soft 用 tis-interpreter 对 SQLite（约 11.3 万行指针密集型 C 代码）做未定义行为（UB）检测…","url":"https://hotdaily.top/item/cee86fe7-cd5f-479e-9043-cda1dd097790","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}