symbolic table pointer

  • 释义

    符号表指示字;符号表指针

数据更新时间:2026-04-19 15:30:28
1、

The abstract symbol table-based memory model can overcome main problems of memory models for symbolic execution very well, including the problem of pointer and aliasing, type-unsafe memory accesses and data without concrete size.

基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题,包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈