静态程序分析平台Shipshape.zip

preview
开源项目
需积分: 9 0 下载量 67 浏览量 2019-07-18 06:03:53 上传 评论 收藏 71.02MB ZIP 举报
weixin_39840515
  • 粉丝: 446
  • 资源: 1万+
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

shipshape.io:shipshape.io 的代码

Ship Shape 的网站 (shipshape.io) 以下 Ember 插件使本网站成为可能： 船形插件 其他插件 代码风格 在eslint-plugin-ember和eslint-plugin-ember-suave的帮助下，使用 ESLint 强制执行 JS 代码风格 由ember-cli...
zip

ShipShape:Dunesailer Research提供的Swift软件包，用于生成船只形状

Dunesailer Research的ShipShape软件包提供了实用程序和数据结构，可帮助生成船的形状，以用Swift编程语言开发的项目中使用。 尽管所提供的功能是由Dunesailer Research本身的特定需求所驱动的，但我们认为其中包含...
zip

ShipShape:通过实时洞察性能和编排活动，将您的 Kubernetes 集群保持在 ShipShape 中

ShipShape 是一个用于 Kubernetes 监控的开源 Web 应用程序。 ShipShape 允许用户通过不同粒度级别的易于解释的图表来跟踪大量 Kubernetes 集群指标。 主要功能包括： 方便访问内部 Kubernetes 环境，而无需将其...
zip

shipshape-demo

Shipshape样本库带有可造形代码样本的存储库将发现缺陷。 请参阅github.com/google/shipshape。 分析应发现缺陷的位置已被标记。 不应运行此代码。 这不是Google的官方产品。
default

Qt 5实现串口调试助手 （源工程文件、0积分下载）

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
star 5星 · 资源好评率100%
pdf

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
star 5星 · 资源好评率100%
zip

AutoSAR标准协议4.2.2

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
star 5星 · 资源好评率100%
rar

光伏-储能并网系统仿真.rar

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
star 5星 · 资源好评率100%
zip

NPPJSONViewer.zip

NodePad++ JSON格式化插件
star 4星 · 用户满意度95%
pdf

GD32替换STM32注意事项.pdf

GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
star 3星 · 编辑精心推荐
zip

XCP协议的规范文档

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
star 5星 · 资源好评率100%
zip

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

vs2015.iso包安装，不然会卡在安装包丢失或损坏
star 3星 · 编辑精心推荐
zip

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
pdf

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
zip

BaiduOCR.zip

按键精灵百度文字识别 自定义库 使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746
star 5星 · 资源好评率100%
pdf

AD20官方中文教程.pdf

官方提供的入门教材，其中重点讲解了一个简易电路板的开发过程，从元器件的选择，元器件的布置，到最后的产品输出，比较完整的一个实例，适合初次使用软件的开发人员使用。
pdf

电路分析基础第二版PDF电子书免费下载

《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》以电路理论的经典内容为核心，以提高学生的电路理论水平和分析解决问题的能力为出发点，以培养“厚基础、宽口径、会设计、可操作、能发展”，具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》较全面地阐述了电路的基本理论，并适当引入电路新技术。内容遵从先易后难，由浅入深，循序渐进的原则。主要包
star 5星 · 资源好评率100%
zip

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换）

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换），也可以自定义参数转换
rar

完整版 Microsoft.ACE.OLEDB.12.0 驱动下载.rar

亲测好用，挺不错的资源，大家快来下载吧！挺有用的！需要的话可以来下载哦！Microsoft.ACE.OLEDB.12.0驱动下载，解决 未在本地计算机上注册“Microsoft.ACE.OLEDB.12.0”提供程序，权限问题
star 5星 · 资源好评率100%
rar

Matlab安装MinGW-w64 C/C++ 编译器

Matlab安装 MinGW-w64 编译器。 包括下载好的MinGW-w64 C/C++和 简单的安装步骤（Readme.doc）
star 4星 · 用户满意度95%
rar

CMSIS-DAP使用说明及驱动.rar

仿真器，含有详细的教程，驱动，使用方法等等，keil和IAR安装及支持CMSIS-DAP工具，CoFlash及Hex2bin工具包，DAP仿真器下载程序说明等等
7z

qt样式表一键生成（花狗Fdog）

QT样式表一键生成，避免了无穷无尽的百度搜索，一来方便学习，所以参数都写在左下角，方便了解到使用了什么生成了什么，二来不用重复造轮子，调节后，可直接将左下角生成的QSS代码复制到qt的样式表里面即可显示效果。
star 5星 · 资源好评率100%
zip

Elsevier期刊word模板.zip

各种模板，单双
rar

基于STM32F103的RS485通信（采用DMA方式发送数据，中断方式接收数据）

描述：硬件：RS485接口 协议：Modbus RTU。功能：采用DMA方式发送数据，中断方式接收数据。注： 接收到指令之后，判断是否是相应指令而进行DMA数据发送。DMA：开启DMA，DMA发送完一帧数据后产生发送完成中断，在DMA发送完成中断中，开启USART接收中断（字节）， 在USART接收中断中保存接收到的数据。注： 本程序额外开启了USART空闲中断，在空闲中断中将 USART接收
star 5星 · 资源好评率100%
docx

软件测试报告模板(完美实用)

本测试报告为XX系统测试报告，目的在于总结测试阶段的测试以及分析测试结果，描述系统是否符合需求。预期参考人员包括用户、测试人员、开发人员、项目管理者、其他质量管理人员和需要阅读本报告的高层经理。
star 5星 · 资源好评率100%
zip

BeyondCompare Pro 4.2.6.23150 x64中文版.zip

文件比较软件BeyondCompare Pro 4.2.6.23150 x64中文版
star 5星 · 资源好评率100%
zip

电气类的visio模版元件库

电气类的visio模版元件库
rar

Tangent免费.rar

OriginLab也可以安装Tangent 插件 免费下载 请点赞