没有合适的资源?快使用搜索试试~
我知道了~
文库首页
行业研究
行业报告
基于Java建模语言的不变量检测工具.pdf
基于Java建模语言的不变量检测工具.pdf
需积分: 0
0 下载量
76 浏览量
2023-12-31
15:09:26
上传
评论
收藏
232KB
PDF
举报
温馨提示
立即下载
基于Java建模语言的不变量检测工具.pdf
资源推荐
资源评论
基于Soot的Java程序竞争静态检测工具设计.pdf
浏览:44
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确。
Java静态检测工具的简单介绍-Sonar、Findbugs[文].pdf
浏览:161
Java静态检测工具的简单介绍-Sonar、Findbugs[文].pdf
论文研究-基于污点分析的JavaScript应用脆弱性检测工具研究与实现 .pdf
浏览:109
基于污点分析的JavaScript应用脆弱性检测工具研究与实现,张磊,车力军,JavaScript语言是Web中最重要的动态语言,如果代码操作没有经过严格的分析和处理的危险数据,则非常容易侵犯用户�
基于Linux的动态内存检测工具的设计与实现.pdf
浏览:133
基于Linux的动态内存检测工具的设计与实现.pdf
Java建模:子整体软件开发.pdf
浏览:148
Java建模:子整体软件开发.pdf
学习Java建模之子整体软件开发.pdf
浏览:68
学习Java建模之子整体软件开发.pdf
基于六自由度Stewart平台并利用ProE进行机械手的建模和仿真-外文翻译.pdf
浏览:191
5星 · 资源好评率100%
基于六自由度Stewart平台并利用ProE进行机械手的建模和仿真-外文翻译.pdf基于六自由度Stewart平台并利用ProE进行机械手的建模和仿真-外文翻译.pdf基于六自由度Stewart平台并利用ProE进行机械手的建模和仿真-外文翻译...
软件过程建模语言研究的开题报告.pdf
浏览:9
软件过程建模语言研究的开题报告.pdf
基于虚拟现实建模语言的火灾现场三维重建系统研究.pdf
浏览:192
...
基于UBML统一业务建模语言中的建模标准,提供了面向工业管理软件(经营管理应用类型)的UBML低代码建模体系Java语言实现
浏览:98
本仓库基于UBML统一业务建模语言中的建模标准(ubml-standard),提供了面向工业管理软件(经营管理应用类型)的UBML低代码建模体系Java语言实现。工程化是UBML低代码建模的一大特点,UBML将模型视为源码,模型可存储为文件,以工程化结构组织,并提供SDK,可以与流行的源代码管理工具、CI/CD工具进行集成,融入现代化的开发模式。 UBML SDK提供cli和IDE两种使用形式:
基于Android平台的隐私泄漏静态检测工具的分析与比较.pdf
浏览:197
基于Android平台的隐私泄漏静态检测工具的分析与比较.pdf
基于爬虫的XSS漏洞检测工具设计与实现.pdf
浏览:71
5星 · 资源好评率100%
沈寿忠 ,张玉清的《基于爬虫的XSS漏洞检测工具设计与实现.pdf》 写得很不错
论文研究-基于FPGA的应答器检测工具设计 .pdf
浏览:36
基于FPGA的应答器检测工具设计,冉亮,吕旌阳,在高速铁路的信号系统中,应答器是列车重要的信息来源,应答器的报文对整个铁路通信系统都至关重要。本文以高速铁路的应答器传输
基于Matlab的复合电源混合动力汽车建模及动力特性仿真分析.pdf
浏览:130
基于Matlab的复合电源混合动力汽车建模及动力特性仿真分析.pdf
基于机器学习建模的口令脆弱性检测.pdf
浏览:119
基于机器学习建模的口令脆弱性检测.pdf
装备电力系统谐波性负荷建模中的电流检测方法.pdf
浏览:41
装备电力系统谐波性负荷建模中的电流检测方法.pdf
一种联合图像分割与背景建模的运动目标检测算法.pdf
浏览:40
一种联合图像分割与背景建模的运动目标检测算法.pdf
统计建模与R语言习题答案.pdf
浏览:46
统计建模与R语言习题答案.pdf
基于数据挖掘建模语言的数据挖掘系统设计.pdf
浏览:6
基于数据挖掘建模语言的数据挖掘系统设计.pdf
基于Python的文件差异化检测工具的实现与应用-吴静.pdf
浏览:33
基于Python的文件差异化检测工具的实现与应用
基于Java实现的一款Apache Dubbo漏洞检测工具源代码,包含了信息收集、参数爆破等功能,实现一键漏洞利用检测
浏览:21
一款Apache Dubbo漏洞检测工具。包含了信息收集、参数爆破等功能,利用获取到的信息一键完成对Dubbo的Provider和Consumer的漏洞利用检测 漏洞扫描 本项目只检测每种检测方式下,影响版本最新的漏洞。 Dubbo provider 已知服务名、方法名以及参数类型或目标为3.x的Dubbo 利用漏洞:CVE-2023-23638 支持协议:hessian 支持版本: Dubbo
基于SMV模型检测工具的分布式动漫渲染系统软件建模与分析.pdf
浏览:87
#资源达人分享计划#
论文研究-基于静态检测工具的源代码安全缺陷检测研究.pdf
浏览:190
针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很高的问题,提出了一种基于多种静态检测工具的检测方法。该方法通过对多种工具的检测结果进行统计分析,有效地降低了漏报率和误报率。设计和实现了一个可扩展的源代码静态分析工具平台,并通过实验表明,相对于单个工具的检测结果而言,该平台明显降低了漏报率和误报率。
基于JAVA的COMPASS快速建模程序开发.pdf
浏览:172
基于JAVA的COMPASS快速建模程序开发.pdf
基于MATLAB语言建模方法的研究.pdf
浏览:130
基于MATLAB语言建模方法的研究.pdf
基于FPGA的高斯建模运动目标检测算法.pdf
浏览:72
基于FPGA的高斯建模运动目标检测算法.pdf
基于子图的服务器网络行为建模及异常检测方法研究.pdf
浏览:3
基于子图的服务器网络行为建模及异常检测方法研究.pdf
人工智能-目标检测-基于视频的潮滩波浪建模与海上动目标检测.pdf
浏览:40
人工智能-目标检测-基于视频的潮滩波浪建模与海上动目标检测.pdf
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
徐浪老师
粉丝: 6474
资源:
6880
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
四路病房呼叫系统仿真源文件.ms14
项目管理-WBS词典(工作分解)
JavaEE分布式集群架构设计与实践复习资料.docx
cordic算法实现了反正切函数(避免了浮点运算)
餐厅管理系统,使用python+flask框架+Mysql, 数据库结课设计
SM2258XT Q0602A 镁光 intel 东芝
SM2258XT Q0601B 闪迪 海力士
SM2258XT Q0407A 闪迪 海力士
基于SSM框架的购物商城系统毕业论文+开题报告+任务书
DATEPART() 从日期时间表达式中提取指定的日期部分-CSDN博客.mhtml
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功