By extending the contract-based safety analysis mechanism,a method for checking the safety problems of function pointers is presented in this paper.

• 文中扩充了基于契约的安全检查机制,提出了一种针对函数指针的安全检查方法。