首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下不属于代码静态分析的方法是__________________。
以下不属于代码静态分析的方法是__________________。
admin
2018-05-26
37
问题
以下不属于代码静态分析的方法是__________________。
选项
A、内存扫描
B、模式匹配
C、定理证明
D、模型检测
答案
A
解析
本题考查代码分析方面的知识。
代码静态分析是指在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。常见的代码静态分析方法包括:模式匹配、定理证明、模型检测。
转载请注明原文地址:https://kaotiyun.com/show/xgTZ777K
本试题收录于:
信息安全工程师上午基础知识考试题库软考中级分类
0
信息安全工程师上午基础知识考试
软考中级
相关试题推荐
(2010下项管)通过建设学习型组织使员工顺利地进行知识交流,是知识学习与共享的有效方法。以下关于学习型组织的描述,正确的包括______。①学习型组织有利于集中组织资源完成知识的商品化;②学习型组织有利于开发组织员工的团队合作精神;
(2011上项管)以下关于企业战略说法中,不正确的是______。
(2009上软评)软件工程每一个阶段结束前,应该着重对可维护性进行复审。在系统设计阶段的复审期间,应该从______出发,评价软件的结构和过程。
(2007下系分)系统可靠性的简单度量是平均故障间隔时间(MTBF),其计算公式是______(1);软件可用性是指在某个给定时间点上程序能够按照需求执行的概率,其定义为______(2)(MTTF:MeanTimeToFailure;MTTR:Me
(2014下集管)在项目可行性研究报告编写、提交和获得批准之前,首先要进行初步可行性研究。初步可行性研究的目的是______。
(2013上项管)张某于2012年12月5日通过网银完成了四项支付,其中______的业务类型不同于其他三项。
(2010上集管)小王在公司局域网中用Delphi编写了客户端应用程序,其后台数据库使用MSNT4+SQLServer,应用程序通过ODBC连接到后台数据库。此处的ODBC是______。
(2011上项管)质量控制是项目质量控制人员采取有效措施,监督项目的具体实施结果,判断它们是否符合有关的项目质量标准,并确定消除产生不良结果原因的途径。以下内容中,______是执行项目质量控制的输入。①组织过程资产;②质量度量标准;③工作绩效信
(2009下系管)由于信息资源管理在组织中的重要作用和战略地位,企业主要高层管理人员必须从企业的全局和整体需要出发,直接领导与主持整个企业的信息资源管理工作。担负这一职责的企业高层领导人是______。
(2014下集管)从电子政务的实施对象和应用范畴角度,可将电子政务分为四种类型。其中,电子工商审批及证照办理属于______。
随机试题
下列可用于电器灭火的灭火剂有().
A、 B、 C、 D、 B
下列不属于工程建设项目的三个最基本特征的是()。
消防安全重点单位实行“三项报告”备案制度,备案内容不包括()。
存款客户向存款机构提供的转账凭证或填写的存款凭条是()。
朋友,别声张,静坐下来,让灯光柔和地将我的脸庞照亮,让我默然而亲切地将你寻觅。此刻,远方的你,你的心里可否有爱和音乐之神微笑,可否如我一样,也有一支歌在低低响起,_______的路上,共同拥有的岁月更富有缠绵的情致,欢娱的舞蹈正在进行,我们一起______
根据国务院印发的《“十三五”控制温室气体排放工作方案》,下列哪些是其中提到的“十三五”控制温室气体排放的重点任务?①低碳引领能源革命②推动城镇化低碳发展③强化基础能力支撑④建设和运行全国碳排放权交易市场⑤加强地区监控
下列4条指令,需要使用DX寄存器的指令有______条。 (1) IN AX,20H (2) MUL BX (3) DIV BL (4) OUT 20H,AL
A、Thedog’scolorandsize.B、Thedog’spriceandbreed.C、Whetherthedogwillneeditscompanion.D、Whetherthedogwillfitt
Educationofexceptionalchildrenmeansprovisionofspecialeducationalservicestothosechildrenwhoareeitherhandicappedo
最新回复
(
0
)