桑莓

SparrowBerry:工业强度静态分析仪的验证验证器。稀疏麻雀是一个健全的,全球性的,但可扩展的分析仪C。稀疏麻雀的设计被证明是正确的抽象解释和全球稀疏分析框架。