泛联新安

一、企业名称：湖南泛联新安信息科技有限公司

二、概述

国内领先的开发支撑类、验证EDA类基础软件提供商，已构建以软件质量测试、软件安全测试、数字IC验证、研发效能工具等四大方向为核心的完整产品矩阵，与航空、航天、船舶、轨道交通、金融、能源、工控、汽车、信息技术等领域数百家顶级企业用户合作，提供先进的国产自主基础软件产品、服务和解决方案。

三、基本信息

公司名称：湖南泛联新安信息科技有限公司

经营范围

一般项目：软件开发；集成电路设计；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；信息技术咨询服务；信息系统集成服务；专业设计服务；工业工程设计服务；工程和技术研究和试验发展；科技中介服务；数据处理和存储支持服务；组织文化艺术交流活动；会议及展览服务；市场调查（不含涉外调查）；网络技术服务；物联网技术研发；人工智能基础软件开发；人工智能应用软件开发（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）。许可项目：检验检测服务（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）。

成立时间：2017年7月

法人：魏书宁

所属行业：信息传输、软件和信息技术服务业－软件和信息技术服务业－信息技术咨询服务－信息技术咨询服务

登记机关：长沙市开福区市场监督管理局

四、企业故事

2017年，中国的基础软件领域正面临一场无声的战役，核心市场被国际巨头垄断，超过90%的软件开发工具依赖国外技术。在此背景下，一群来自国防科技大学、中科院的技术专家汇聚长沙，怀揣着同一个使命：打造自主可控的基础软件，为中国软件产业解开“卡脖子”的枷锁。泛联新安，由此诞生。

公司聚焦智能程序分析、编译器技术、软件漏洞挖掘、高性能仿真等底层核心技术方向进行突破，对标《“十四五”软件和信息技术服务业发展规划》的战略要求，率先布局了以软件质量测试、软件安全测试、数字IC验证为核心的三大产品线，直指中国软件产业最急需实现自主可控的关键领域。

历经数年的深耕，泛联新安已将三条产品线下的十多款成熟产品成功推向市场。其中，1款产品达到国际领先水平，2款填补国内空白，7款实现国内领先，产品能力得到权威验证。面对AI技术为开发工具带来的革命性机遇，公司于2023年底增设了研发效能产品线，以AI全面赋能基础软件建设。

随着技术实力的提升和市场表现的突出，泛联新安获得了国家层面的认可。自2021年起，公司相继获得天惠军民融合投资基金、农银国际、中网投、兴湘资本等国家产业资本的战略投资。2024年，泛联新安获汇川产投、钧犀资本、兴湘资本、壹同创投的新一轮战略投资，为公司带来了更多发展机遇。

2025年，泛联新安通过持续创新，已推出20+款工具，服务数百家航空航天、汽车、工控等行业的顶级客户，业绩持续大幅增长。年底，泛联新安正式宣布完成新一轮融资。本轮融资由国内头部创投机构达晨财智领投，中国互联网投资基金（中网投）、钧犀资本等老股东持续追加投资。融资资金将主要用于开发支撑工具的全面AI化升级、智能制造领域研发大模型与智能体的深度研发，以及重点行业的市场生态建设。整体朝着“国产开发支撑基础软件领导者”坚实迈进，肩负起推动构建中国自主数字底座的时代使命。

五、实力背景

背靠多所一流大学，形成国内人才实力雄厚的程序分析核心技术团队：

Ø 国防科技大学

成立软件安全智能并行分析湖南省重点实验室，开展前沿技术研究、高质量人才培养、产业培育和引领方面的工作。紧贴国家网络空间安全战略需求，打造“超算+软件安全”技术群，按照“产学研用”融合思路布局，依照教育部计划，联合培养集成电路、基础软件人才。

Ø 清华大学

合作成立软件安全产学研公司。依托清华大学资源，推动软件安全新技术和产品在金融、党政军的落地实施。

Ø 复旦大学

达成战略合作，在软件安全、软件供应链安全、AI与程序分析技术等领域广泛开展合作。

六、发展历程

2017年

·泛联新安正式成立；

·软件质量和安全测试工具研发团队正式组建；

2018年

·获国家高新技术企业认证；

·北京运营中心、成都办事处正式成立；

·EDA“设计缺陷检测工具”研发团队组建；

·iUnit产品发布；

2019年

·与国防科技大学共建湖南省软件安全智能并行分析重点实验室；

·与中科院共建中科空间（长沙）信息科技研究院有限公司；

·西安运营中心正式成立，成为开福区军民融合示范性企业；

·EDA获得湖南省重点领域研发计划项目立项；

2020年

·与清华大学合作成立北京清科智信科技有限公司；

·EDA产品获得国家级项目资助；

·获得国家级基础加强课题支持；

·CodeSense 产品发布，获工信部“信息技术应用创新典型软件”奖；

2021年

·获天惠基金战略投资；BinSearch、XFuzz等产品发布；

·产品获得国军标标准质量管理体系认证，入选某军工集团国产化替代产品名录；

·成为信息技术应用创新工作委员会会员单位；

2022年

·获中网投、兴湘资本等产业基金投资；

·南京办事处正式成立；VHawk、UniSCA产品发布；

·成为工业软件标准化工作组（TC573/WG8）成员单位；

2023年

·获西部证券战略投资；

·作为行业头部，牵头撰写《2022网信自主创新调研报告》测试工具章节；

·作为技术总体牵头建设工信部工业互联网漏洞检测云平台；

·“iUnit”被评为工信部“最受欢迎典型解决方案”，EDAV2.0被评为工信部2022年工业软件优秀产品名单；

·两款工具产品入选某机关应用验证基础产品成果清单；

2024年

·1月，获汇川产投战略投资；6月，获钧犀资本、兴湘资本、壹同创投新一轮战略投资；

·作为软件测试工具领导者，再次牵头撰写《2023网信自主创新调研报告》测试工具章节；

·三款工具产品入选国家科工局工业软件自主可控目录；

·硬件仿真加速验证EDA入选长沙市科技重大专项；

·芯片原型验证EDA获长沙市科技攻关“揭榜挂帅”项目；

·获批国家级专精特新“小巨人”企业、湖南省专精特新中小企业、2024年度湖南省省级企业技术中心；

·获“矩阵杯”网络安全大赛“原创漏洞挖掘赛一等奖”、“国产软硬件安全检测赛三等奖”双项佳绩；

·入选“2024全国企业新质生产力赋能典型案例”；

·荣获2024CCF中国软件大会“第一届软件缺陷自动修复挑战赛”特等奖；

·DTCoder、PTFuzz、UnitFuzz产品发布；

2025年

·入选湖南省2025年先进计算典型应用案例、信通院2025智能软件“银弹”优秀案例、第十二届TiD质量竞争力大会“2025年度软件研发优秀案例”；

·入选“中国汽车网络与数据安全行业全景图”；

·荣获2025北京网络安全大会/第十届安全创客汇成长潜力赛道年度总冠军；

·荣获“天网杯”关键产品漏洞挖掘赛二等奖；

·获评“2025中国最具投资价值基础软件企业”；

·iUnit入选2025 年《IT 研发管理工具选型手册》首批推荐工具名单；

·VXAgent、SkyTrust、AccBox产品发布；

·完成新一轮融资，由达晨财智领投，中国互联网投资基金（中网投）、钧犀资本等老股东追加投资。

七、市场定位

国内领先的开发支撑类、验证EDA类基础软件提供商

八、目标客户

航空、航天、船舶、轨道交通、金融、能源、工控、汽车、信息技术等行业领域

九、企业产品（产品与服务、经营范围）

公司具备软件质量测试、软件安全测试、数字IC验证、研发效能工具等四条产品线，共计近20款工具产品（详见配图）。全系产品均获得自主可控证书，在不同程度上处于国际、国内领先水平。

软件质量测试工具

iUnit 智能单元测试平台

CodeSense 源代码缺陷深度分析平台

SkyTrust 适航鉴定套件

INFDA 软件变更影响域分析平台

InterruptSafe 中断缺陷检测工具

软件安全测试工具

PTFuzz 协议模糊测试平台

UnitFuzz 源代码模糊测试平台

XFuzz 软件智能模糊测试平台

UniSCA 软件供应链安全管理平台

BinSearch 制品安全分析工具

CodeSense-StarEye 源代码安全审计平台

数字IC验证工具

InfinitPro 多FPGA原型验证系统

VShark Verilog功能仿真工具

VHawk-Lint HDL代码缺陷检查管理平台

VHawk-CDC 跨时钟域设计验证工具

AccBox 双模FPGA仿真加速器

研发效能工具

DTCoder 研发效能大模型

VXAgent 万象研发智能体平台

十、企业文化

使命：创造更好代码

愿景：全球基础软件新力量

价值观：奋斗 创新 协作 匠心

十一、公司规模

300人以上

十二、企业荣誉

资质认证方面，泛联新安入选国家级专精特新“小巨人”企业、湖南省专精特新中小企业，被认定为2024年度湖南省省级企业技术中心以及国家信息安全漏洞库二级技术支撑单位，获评“2025中国最具投资价值基础软件企业”，累计取得各类认证10余项，具体包括质量管理体系认证（ISO9001:2015）、武器装备质量管理体系(GJB 9001C-2017）、武器装备科研生产单位二级保密资质、信息安全管理体系认证（ISO27001）、信息技术服务管理体系认证（ISO20000）、中国合格评定国家认可委员会实验室认可证书（CNAS）、CMMI成熟度3级、TÜV功能安全认证等资质。

项目方面，EDA项目入选2023年度长沙市科技重大专项项目，芯片原型验证EDA获长沙市科技攻关“揭榜挂帅”项目，“集成电路大规模并行仿真验证云平台”入围2024年湖南省重点软件领域关键技术攻关项目。

UniSCA软件供应链安全管理平台入选《2024年度湖南省首版次软件产品》；连续入选《CCSIP 2023中国网络安全行业全景册》及《CCSIP 2024中国网络安全行业全景册（第七版）》，领跑安全开发、漏洞检测与管理等领域，模糊测试领域第一；iUnit入选2025年《IT研发管理工具选型手册》首批推荐工具名单。

荣誉奖项方面，获“矩阵杯”网络安全大赛“原创漏洞挖掘赛一等奖”、“国产软硬件安全检测赛三等奖”双项佳绩；入选“2024全国企业新质生产力赋能典型案例”、信通院“数字安全优秀实践案例”、信通院首届“智能化软件测试领航者”典型案例、信通院2025智能软件“银弹”优秀案例、湖南省2025年先进计算典型应用案例；荣获2024CCF中国软件大会“第一届软件缺陷自动修复挑战赛”特等奖；荣获2025北京网络安全大会/安全创客汇年度冠军；荣获第三届“天网杯”关键产品漏洞挖掘赛二等奖。