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

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

研发复杂的航天系统

代码安全质量遇挑战

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

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

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

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

CodeSec严控代码安全质量

航天系统实现高质量发展

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

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

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

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

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

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

相关推荐
路baby21 分钟前
2026第十届御网杯网络安全大赛线上赛 区域赛WP (MISC和Crypto)(详解-思路-脚本)
安全·web安全·网络安全·密码学·ctf·misc·御网杯
zzzsde1 小时前
【Linux】线程同步和互斥(5):线程池的实现&&线程安全
linux·运维·服务器·开发语言·算法·安全
消失的旧时光-19431 小时前
企业认证与安全体系(五):Spring Security + JWT + Redis 企业级认证实战
redis·安全·spring·spring security·jwt
x-cmd1 小时前
[260531] OpenClaw 五月月报:模型接入大爆发、安全重构、手机端终于能当主控台用了 [特殊字符]
安全·ai·智能手机·重构·x-cmd·openclaw
国科安芯1 小时前
ASM232S电气特性与TIA/EIA-232-F及ITU V.28标准符合性深度分析
单片机·嵌入式硬件·算法·安全·架构
Rain5091 小时前
mini-cc 权限安全:给 AI 戴上枷锁
前端·人工智能·安全·架构·node.js·ai编程
ylscode2 小时前
微软发布针对 Windows 11 的 KB5089573 补丁,以修复“周二补丁日”安装问题
windows·安全·microsoft·安全威胁分析
鹿鸣天涯2 小时前
网规第三版:第9章网络安全部署案例
网络·安全·web安全·软考·网络规划设计师
深邃-2 小时前
【Web安全】-10-网站关键信息收集:目录扫描的概念,工具目录扫描(内含御剑,FindSomething安装链接),网站服务器收集,操作系统判断
运维·服务器·安全·web安全·http·网络安全
程序猿编码2 小时前
如何把远程文件变化“骗“成本地inotify事件:一个LD_PRELOAD钩子
c语言·开发语言·网络·tcp/ip·安全