()适合检查因控制流信息非法操作而导致的安全问题,如内存访问越界、常数传播等。 A.词法分析B.符号执行C.模型检验D.数据流分析
()适合检查因控制流信息非法操作而导致的安全问题,如内存访问越界、常数传播等。
A.词法分析
B.符号执行
C.模型检验
D.数据流分析
相关考题:
为达到内存保护的目的,通常设置两个界限寄存器,分别存放正在执行程序的上界和下界。系统对每条指令所访问的地址进行越界检查,若越界,便发出越界中断请求,以停止该程序的执行。() 此题为判断题(对,错)。
内存保护的主要任务是( )。A.确保每道用户程序都在自己的内存空间运行,互不干扰B.防止用户程序访问操作系统的程序和数据C.对每条指令所访问的内存地址进行越界检查D.防止用户程序转移到非共享的其他用户程序中去执行
以下哪个代表了编程错误,如错误的类型转换、访问一个越界数组等错误。A.RuntimeExceptionB.ExceptionC.ErrorD.Throwable