inter-proceduralBNC²³⁶²¹³⁺¹ 例句 The experiment data shows the inter-procedural analysis based on function summary can effectively improve the static analysis system in the number of detected defects and reduce false positive rate. 充分说明基于函数摘要的全局分析能有效的提高系统检测缺陷的精度，降低误报率。 fabiao