单项选择题
()适合检查因控制流信息非法操作而导致的安全问题,如内存访问越界、常数传播等。
A.词法分析B.数据流分析C.符号执行D.模型检验
单项选择题 Pin是由()公司开发和维护,具有跨平台特性的一个强大的动态二进制指令分析框架。
单项选择题 漏洞也称为(),是计算机系统的硬件、软件、协议在系统设计、具体实现、系统配置或安全策略上存在的缺陷。
单项选择题 在软件开发的设计阶段,通过()原则,预先从设计和架构角度消除安全缺陷,将成为软件安全开发的关键。