基于契约的函数指针静态安全分析

A Contract-Based Safety Analysis for Function Pointers

文中扩充了基于契约的安全检查机制,提出了一种针对函数指针的安全检查方法。该方法利用静态分析获取的函数指针指向信息,结合自下而上分析过程中记录的契约信息,对函数指针的使用进行安全性检查。

By extending the contract -based safety analysis mechanism, a method for checking the safety problems of function pointers is presented in this paper. Safety checking of function pointers is conducted using the point - to sets of function pointers in static analysis combined with the contract in bottom - up analysis.