static-analysis

IKOS：NASA基于抽象解释的C/C++静态分析器架构与实践

深入解析NASA开发的IKOS静态分析器，探讨抽象解释理论在安全关键系统验证中的工程化实现与参数调优策略。