()适合检查因控制流信息非法操作而导致的安全问题,如内存访问越界、常数传播等。 A.词法分析B.符号执行C.模型检验D.数据流分析

()适合检查因控制流信息非法操作而导致的安全问题,如内存访问越界、常数传播等。

A.词法分析

B.符号执行

C.模型检验

D.数据流分析


相关考题:

为达到内存保护的目的,通常设置两个界限寄存器,分别存放正在执行程序的上界和下界。系统对每条指令所访问的地址进行越界检查,若越界,便发出越界中断请求,以停止该程序的执行。() 此题为判断题(对,错)。

内存保护的主要任务是( )。A.确保每道用户程序都在自己的内存空间运行,互不干扰B.防止用户程序访问操作系统的程序和数据C.对每条指令所访问的内存地址进行越界检查D.防止用户程序转移到非共享的其他用户程序中去执行

在页式存储管理中,当程序访问某一内存地址,结果发现所要的页面不在内存中,这时就会产生________。A.程序非法操作B.输入/输出中断C.缺页中断D.地址越界

启用Cisco设备的访问控制列表,可以起到如下作用()。A、过滤恶意和垃圾路由信息B、控制网络的垃圾信息流C、控制未授权的远程访问D、防止DDoS攻击

在页式存储管理中,当程序访问某一内存地址,结果发现所要的页面不在内存中,这时就会产生______。A.程序非法操作B.输入/输出中断C.缺页中断D.地址越界

3、以下哪个不是内存管理单元MMU的功能?A.地址转换B.内存访问权限检查C.地址越界异常D.内存分配

40、()会引起自愿性中断。A.程序中使用了非法操作码B.程序中访问地址越界C.程序中使用了一条访管指令D.程序中除数为"0"

1、Slab分配的优点包括()。A.可通过合并而快速地形成更大的段B.没有因碎片而引起的内存浪费C.可以提高内存访问的速度D.内存请求可以快速满足

以下哪个代表了编程错误,如错误的类型转换、访问一个越界数组等错误。A.RuntimeExceptionB.ExceptionC.ErrorD.Throwable