符号表指示字;符号表指针
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.
基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题,包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。
英语网 · 双语娱乐资讯
英语网 · 初中英语作文
英语网 · 初中英语语法