首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下不属于代码静态分析的方法是__________________。
以下不属于代码静态分析的方法是__________________。
admin
2018-05-26
21
问题
以下不属于代码静态分析的方法是__________________。
选项
A、内存扫描
B、模式匹配
C、定理证明
D、模型检测
答案
A
解析
本题考查代码分析方面的知识。
代码静态分析是指在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。常见的代码静态分析方法包括:模式匹配、定理证明、模型检测。
转载请注明原文地址:https://kaotiyun.com/show/xgTZ777K
本试题收录于:
信息安全工程师上午基础知识考试题库软考中级分类
0
信息安全工程师上午基础知识考试
软考中级
相关试题推荐
(2005上项管)每次项目经理会见其所负责的赞助商,赞助商都强调对该项目进行成本控制的重要性,她总是询问有关成本绩效的情况,如哪些预算实现了,哪些预算没有时间,为了回答她的问题,项目经理应该提供______。
(2008上项管)在实施企业业务流程改造的过程中,许多企业领导人和员工在变革之初对变革抱有很大期望和热情,但在变革实施以后发现似乎一切又恢复了老样子,其遗憾的原因往往在于变革的设计者和领导者未能在变革中坚持企业流程改造的核心原则,即______。
(2006上监理)应用系统开发所需要的成本和资源估算属于可行性研究中的______研究内容。
(2012下集管)项目可行性研究主要是通过对项目的主要内容和配套条件,如市场需求、资源供应、建设规模、工艺路线、设备选型、环境影响、资金筹措、赢利能力等,从技术、经济、工艺等方面进行调查研究和分析比较。并对项目建成后可能取得的财务、经济效益及社会影响进行预
(2010上集管)一项新的国家标准出台,某项目经理意识到新标准中的某些规定将导致其目前负责的一个项目必须重新设定一项技术指标,该项目经理首先应该______。
(2013上项管)分析成本构成结果,找出各种可以相互替代的成本,协调各种成本之间的关系属于______的内容。
(2010下网工)使用PERT图进行进度安排,不能清晰地描述______(1),但可以给出哪些任务完成后才能开始另一些任务。下面PERT图所示工程从A到K的关键路径______(2)(图中省略了任务的开始和结束时刻)。(2)
(2014上项管)以下关于工作分解结构(WBS)的说法中,______是正确的。
(2010下软评)关于软件质量,______的叙述是正确的。①软件满足规定或潜在用户需求特性的总和;②软件特性的总和;软件满足规定用户需求的能力;③是关于软件特性具备“能力”的体现;④软件质量包括“代码质量”、“外部
随机试题
清末年间,哪一部法律文件抛弃了律例合编的编纂形式()
普通房屋和构筑物的建筑按结构的设计使用年限应为()年。
急性冠脉综合征的确诊标志物是
手术后常见并发症不包括
对工程项目风险发生概率及严重行为进行定量化分析和评价的过程,属于( )。
下列关于无担保的存托凭证和有担保的存托凭证的说法,不正确的是()。
如果有时间,我()。
中文:语言:交流
小明和小红各有若干块巧克力,小明拿出20块给小红,小红再拿出现有的三分之一给小明,这时他们各有60块巧克力,则小明、小红原来各有()块巧克力。
Theearningsofwomenarewellbelowthatofmen______educationaldifferencesthatarediminishingbetweenthetwosexes.
最新回复
(
0
)