麻疯树

SparrowBerry:工业强度静态分析仪的验证程序。Sparse Sparrow是一个完善的、全局的、可伸缩的C语言分析器,通过抽象解释和全局稀疏分析框架,证明了稀疏Sparrow的设计是正确的。