首页 文章 精选 留言 我的

精选列表

搜索[插件规范],共10000篇文章
优秀的个人博客,低调大师

BinSentry 自研二进制哨兵调试引擎接口规范

BinSentry 二进制哨兵,由 LYSHARK 独立自研,是一款运行于 Windows 平台的二进制动态调试引擎。该调试引擎从零手写开发,C++ 代码 2 万余行,实现 200 + 调试方法;原生采用 CMD 命令行 HTTP 服务器架构,专为 AI Agent 打造。配合配套 AI 智能体,能够对二进制文件、木马等恶意样本进行深层次分析,是二进制样本研究的实用工具。

优秀的个人博客,低调大师

Qt 推出自动化工具强化 CUDA 编码安全规范

Qt近日发布Axivion 7.11工具集,新增自动检测功能,可验证采用英伟达加速计算的程序是否符合CUDA编码安全规则。 Axivion是一套用于执行C/C++静态代码分析与架构验证的工具集,其7.10版已支持CUDA环境,而最新的7.11版本进一步实现了对英伟达CUDA C++编码指南的自动化强制执行。 Axivion for CUDA现在支持以下功能: 自动检查CUDA代码是否符合行业标准的安全指南(例如MISRA、CERT、英伟达的 CUDA C++编码指南)以及企业自定义指南。 提供完整可追溯、基于证据的审计轨迹,及早发现标准C++与CUDA源代码中的死代码、代码重复、不安全依赖关系及免于干扰(FFI)等问题,确保符合ISO 26262、IEC 62304与IEC 61508等严格的安全标准。 确保软件架构在受监管环境中持续保持一致性与安全性。 此项原生支持将使企业能够在安全认证项目中依据行业标准快速验证代码。从长远来看,这将有助于早期发现缺陷、最小化技术债务,并缩小GPU加速代码的合规差距。

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册