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.

  • 该方法利用静态分析获取的函数指针指向信息,结合自下而上分析过程中记录的契约信息,对函数指针的使用进行安全性检查。

  • 互联网摘选 2025-01-20 11:58:35

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句