航天智信:严控航天系统研发安全,助力建设“航天强国”

航天智信作为中国航天科工三院在信息装备领域"做大做强"的重要布局,主要从事系统运用与联合体系研究,复杂信息系统的顶层设计、总体论证及研制生产,提供体系级、系统级信息系统整体解决方案,以及信息安全系统的设计研发与集成验证。

研发复杂的航天系统

代码安全质量遇挑战

作为我国网络信息体系建设的先锋,航天智信先后为航天领域承研百余型系统。在为航天领域信息系统研发过程中,航天智信面对诸多来自高复杂度的专业系统难题,其中对系统安全性与稳定性的极高要求,使得航天系统从调研设计到集成交付中每个环节都要严格把控,而在系统的研发编码阶段遇到了棘手的问题:

  • 缺少编码阶段识别和修复代码漏洞和质量问题的方法与措施。

  • 代码审查流程效率不高,且耗费大量人力和时间。

  • 因代码质量问题影响系统的连续性和可靠性。

CodeSec严控代码安全质量

航天系统实现高质量发展

航天智信应用开源网安代码审核平台CodeSec作为代码检测工具,用以加强研发安全能力建设,确保航天专业系统在研发阶段的安全与质量。

**漏洞全覆盖,问题早发现。**相比于传统的预发布环境或生产环境中的安全扫描,航天智信应用开源网安代码审核平台,在代码编写或编译阶段就可以对IDE或代码库的代码进行深度静态分析,全面识别代码安全漏洞,并及早告知研发人员进行修复。

**代码检测,省时省力。**通过开源网安代码审核平台,航天智信快速精准地完成自动化代码检测,减少安全人员的反复人工审查工作,为研发节省大量识别修复代码问题的时间。

**代码质量把控,提高系统稳定性。**开源网安代码审核平台为航天智信提供持续全面的代码检测能力,使用预定规则集来分析代码结构和语法,确定代码中存在的质量问题,及时进行反馈修复,减少系统运行时的不稳定现象,降低安全风险。

航天智信通过CodeSec,实现了在软件生命周期的早期完成深度的代码检测分析,有效地识别和修复潜在的代码漏洞与质量问题,提升航天智信的交付质量与效率,保障我国复杂航天系统的安全与质量。

开源网安始终以"捍卫中国软件安全"为使命,助力我国航天领域数字系统的高质量发展,并为中国的各行业的研发创新提供坚实的技术保障,推动我国走向"数字强国"。

相关推荐
HackTwoHub6 小时前
Clown SRC skill第二代2.x最新版企业安全研究 Skill|证据优先的 SRC 与白盒审计工作流正式更新
网络·安全·web安全·网络安全·系统安全·密码学·安全架构
白帽攻防录7 小时前
SRC 挖洞:Certighost AD CS 域控制器伪造深度复盘,CVE-2026-54121 一个普通域用户怎么拿走整个企业域
网络·安全·web安全·网络安全·域安全
张彦峰ZYF8 小时前
从智能体到生产系统:企业 Agent 规模化的治理、记忆、知识与安全
人工智能·安全·架构·operatingsystem·agent platform·agentcontrol·agent mesh
xianghongtao01169 小时前
麦肯锡2026技术趋势06_网络安全与可信系统_研究解读
人工智能·安全·web安全
迪康Defender10 小时前
终端安全事后追溯能力解析:本地审计模块设计思路与落地实践
运维·开发语言·人工智能·安全·php·安全威胁分析·运维开发
2401_8685347811 小时前
安全故障分析
服务器·网络·安全
奈落2411 小时前
DeepSeek Harness 开源贡献手记:从 Issue 认领到 PR 合入的完整实践
大数据·人工智能·安全·搜索引擎·开源
xixingzhe212 小时前
正确认知HTTPS:并非万能加密,通信安全需要多层防护
网络协议·安全·https
小蒋观天下12 小时前
端侧大模型在安防摄像头部署实操(下篇)|模型量化、推理加速、视频接入与量产调优
大数据·人工智能·算法·安全·机器学习·计算机视觉·ai大模型
汤姆yu1 天前
Gemini 4 Argon模型综述:技术、能力与实际使用指南
网络·安全·web安全·ai·大模型