-

检索结果分析

结果分析中...
检索条件:"关键词=控制流分析 "
条 记 录,以下是1-10
视图:
排序:
显示条数:
基于控制流的卷烟物系统柔性化应用
《物技术与应用》2023年第8期156-161,共6页李坤 周广振 孙梅 
为提高卷烟辅料物系统柔性化应用程度和智能应用水平,使包装物系统更加灵活,满足多工况生产需求。本文建立基于物系统柔性化应用的数学模型,模型中采用“黑箱”对现有物系统提出多工况柔性化需求,介绍原有人工搬运的多工况解决...
关键词:系统 柔性化应用 控制流分析 解决方案 
计算机软件
《中国学术期刊文摘》2007年第22期182-186,共5页
基于J2EE的协同服务平台的研究与开发;用范畴论和SHOIQ(D)DL形式化上下文;火炮瞄准精度测试系统硬件数据采集与软件编程;软件体系结构在行为与结构演化中的一致性保持;基于消息语义的UML2.
关键词:计算机软件 软件体系结构 UML2.0 研究与开发 控制流分析 服务平台 J2EE 软件编程 
基于控制流切片的代码安全缺陷检测方法
《计算机工程与设计》2012年第6期2265-2271,2304,共8页周宽久 杨广 赖晓晨 崔凯 姚艳双 
国家自然科学基金项目(91018003);中央高校基本科研业务费专项基金项目(1600-852007;1600-893321)
为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据的不足...
关键词:代码异常 控制流分析 数据分析 安全子集 控制流化简 
一种需求驱动的可信指针分析技术
《计算机应用与软件》2013年第1期160-164,共5页章洁 周西柳 
针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式,使SSA可以用来表示间接的内存操作,即可以显式地将指针的解引用表示出来;之后利用引用定值分析将每个扩...
关键词:可信指针分析 控制流分析 数据分析 静态单赋值 需求驱动 
基于调用链控制流分析的大型微服务系统性能建模与异常定位被引量:3
《软件学报》2022年第5期1849-1864,共16页于庆洋 白晓颖 李明杰 李奇原 刘涛 刘泽胤 裴丹 
国家重点研发计划(2019YFB1802504,2019YFE0105500);国家自然科学基金(62072264)。
大型微服务系统中组件众多、依赖关系复杂,由于故障传播的涟漪效应,一个故障可能引起大规模服务异常,快速识别异常并定位根因是服务质量保证的关键.目前主要采用的调用链分析方法,常常面临调用链结构复杂、实例数量庞大、存在大量小样...
关键词:微服务系统 性能异常检测 根因分析 调用链 控制流分析 
GCC代码优化技术的研究被引量:6
《微机发展》2004年第8期67-70,共4页石博慧 陈英 
GCC是基于Linux下的开放源码的优化编译系统,可以接收多种高级源语言,广泛支持多平台操作系统。其代码优化机制,不仅能兼顾时间、空间效率,生成高质量的目标代码,而且具有很强的可移植性与可扩充性,是编译器优化研究的目标。通过对GCC...
关键词:RTL 数据分析 控制流分析 代码优化 
基于整型变量一致化的整数溢出检测被引量:1
《北京邮电大学学报》2008年第6期90-93,共4页徐国爱 张淼 陈爱国 李忠献 
国家“863计划”项目(2006AA01Z456);国家“973计划”项目(2007CB310704);高等学校博士学科点专项科研基金项目(20050013011)
在研究整数溢出产生原因的基础上,提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法.该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题,用以解决上下文环境对整数溢出检测的影响.实例分析表明,该方法可有效解决...
关键词:整数溢出 静态代码分析 控制流分析 信息安全 
一种基于上下文的精简控制流图方法的研究
《价值工程》2014年第29期217-220,共4页李金诺 陆育锋 汤云杰 张开元 
很多静态代码分析的方法都以控制流图作为基础,本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小解并生成控制流图,比0-CFA,加入数据的约束分析更精确地约减不可达分支,生成较少冗余的控制流图。以...
关键词:静态分析 基于约束的分析 控制流分析 不动点算法 
金融行业AI智能化源代码审计实践
《金融电子化》2024年第21期38-39,共2页李志勇 谢朝海 
海云安根据源代码审计的优缺点,研发开发者安全智能助手(D10),提出动态审计与静态审计结合、源代码与制品/补丁结合的程序分析技术,采用先进的符号执行、逆执行、补丁分析控制流分析、成分分析、二进制逆向分析、特征提取、深度学习...
关键词:控制流分析 符号执行 逆向分析 特征提取 源代码 深度学习 金融行业 补丁 
VLIW体系结构微处理器的控制流分析与其模拟软件设计被引量:2
《小型微型计算机系统》2001年第5期513-516,共4页霍玉梅 王沁 
教育部青年教师基金支持
本文在研究超长指令字 (VL IW)体系结构的基础上 ,总结了 VL IW体系结构的指令结构特征、处理器结构特征和执行特征 ,通过比较 VL IW体系结构微处理器模拟器的两种设计方案 ,选定以结构为基础设计模拟器的方案 ,并解决了模拟器的设计难...
关键词:VLIW 体系结构 微处理器 控制流分析 模拟软件 指令部件 
检索报告 对象比较 聚类工具 使用帮助 返回顶部