Journal of automated reasoning. 2009;42(2-4):265-300. doi: 10.1007/s10817-009-9121-1 Q40.72025

Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code

针对C代码的跨过程且流敏感的类型分析，以确保内存和类型安全

DOI: 10.1007/s10817-009-9121-1

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！