提交
×

泛联新安

ValiantSec

For Code Better

创造更好代码

软件质量测试工具

软件安全测试工具

数字电路验证EDA工具

泛联新安

全球基础软件新力量 软件质量测试工具 | 软件安全测试工具 | EDA工具

湖南泛联新安信息科技有限公司是国产基础软件工具先行者。公司团队成员均来自国防科技大学、清华大学、北航、哈工大等国内知名院校,以及华为、新思等国内外知名企业。
泛联新安以程序分析专家为核心能力定位,在国内率先布局,持续深耕智能程序分析、编译器技术、软件逆向分析、软件漏洞挖掘、高性能程序仿真等底层核心技术方向,研发出软件质量测试、软件安全测试、数字电路验证(EDA)三大类10余款产品,构建丰富的产品矩阵,形成了基于统一技术架构的高效产品孵化能力。所有产品全部拥有自主知识产权,并在军工、航空航天、轨道交通、金融、电力、互联网等领域积累了大量头部客户。
公司与清华大学合作成立北京清科智信科技有限公司,与中科院共同投资组建中科空间(长沙)信息科技研究院,与国防科技大学共建湖南省软件安全智能并行分析重点实验室,现拥有核心知识产权申请和授权发明专利、软件著作权67项,获得麒麟软件Neo Certify、CWE等多项国内外认证。
泛联新安瞄准基础软件工具的国产化替代,致力于提供业界先进的开发支撑软件和EDA软件,为创造更美好代码贡献力量!

查看更多
创造更好代码

专注于智能程序分析、编译器技术、软件基因分析、软件漏洞挖掘等底层硬核技术,结合人工智能技术为业界提供先进的软件测试、软件安全和EDA工具,使更高效、更安全的软件开发解决方案惠及到更多的软件开发企业。

  • 软件安全测试工具
  • EDA工具
  • 软件质量测试工具
展开更多
  • 产品介绍

    BinSearch是一款基于大数据与机器学习的二进制代码分析平台,具有自主知识产权,BinSearch通过对软件汇编代码指令、代码结构、控制流图、函数调用关系等特征值对比,分析出二进制代码成分以及代码之间的相似性。能够精准分析代码组成成分、识别引用依赖组件、检测已知安全漏洞,为客户管理二进制代码的安全风险提供自动化分析和预警功能,实现系统整体的代码安全防治。

    BinSearch 立即试用 查看更多
  • 产品介绍

    CodeSense是新一代的软件源代码缺陷深度分析平台。基于国防科技大学、清华大学、中科院的专家团队对代码静态分析技术的深度理论研究,结合软件工程实践研发而成,现已支持10余种编程语言和开发框架,并可在多种国产平台部署。CodeSense采用业界先进的值流图分析技术,能够实现跨程序/跨文件的上下文敏感分析与对象敏感分析,精准的检测软件安全漏洞与质量缺陷,结合独有的智慧减负与黑白名单技术,高效地协助安全部门或研发团队为软件的安全与质量保驾护航。

    CodeSense 立即试用 查看更多
  • 产品介绍

    XFuzz软件智能模糊测试平台是泛联新安基于国防科技大学、清华大学、中科院等院校多年技术积累研发的高级模糊测试解决方案,能够与缺陷检测和漏洞挖掘的全过程相融合,基于多种行业安全专家缺陷检测和漏洞挖掘经验,通过基于程序分析和运行时反馈的信息智能生成海量的测试用例,实现模糊测试用例自动执行、质量缺陷检测、安全漏洞分析与验证,极大减少手动测试工作量,提前暴露软件中的安全问题与质量缺陷。XFuzz在信创产品、无人驾驶、民用航空、工业设备等多场景多领域已挖掘大量漏洞,大幅度提高客户被测产品的可靠性和稳定性。

    XFuzz 立即试用 查看更多
  • 产品介绍

    VHawk是一款针对Verilog-HDL与VHDL语言的代码缺陷检查管理平台。采用国内先进的HDL代码静态分析技术,VHawk提供 HDL代码编码风格、可综合性、可重用性、时钟复位以及状态机等潜在设计缺陷自动化检测、缺陷跟踪及管理一站式解决方案。VHawk独有支持GJB9765-2020、GJB10157-2021军用编码规则集,同时支持Do254、Altera等主流商用编码规则集,能有效提高ASIC及FPGA的HDL编码质量,便于RTL签核,避免昂贵的重新设计与迭代产生的时间及经济成本。

    VHawk 立即试用 查看更多
  • 产品介绍

    VTurbo是一款可定制的芯片配套开发加速工具,通过直观的交互图形界面,协助芯片设计组织与机构简化配置过程并加速产品研发,令引脚多路复用配置、冲突预览和解决、全局功能浏览、文档维护和团队协作工作变得异常简单,使得企业有更多的时间创造差异化的产品。

    VTurbo 立即试用 查看更多
  • 产品介绍

    iUnit是一个针对C/C++语言的自动化单元测试平台,基于国防科技大学、清华大学、中科院在程序分析技术方向的长期积累,采用动态符号执行与约束求解技术研发而成,能够针对源代码自动生成高覆盖率单元测试用例,自动生成测试驱动程序并模拟执行,配合代码缺陷深度检测算法,iUnit能够大幅度提高开发和测试人员的效率,缩短软件开发周期,发现并协助修复软件缺陷。针对 GJB5000A、GJB438B、ISO 26262、D17B/C等需求,iUnit能够提供一站式单元测试解决方案。

    iUnit 立即试用 查看更多
  • 产品介绍

    InterruptSafe是一款中断数据竞争缺陷的检测工具,采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行可靠性分析,并支持多任务、多级中断(不同中断的优先级不同)检测。支持中断导致的数据访问冲突(也称数据竞争)、代码块的原子性违反等缺陷检测,为软件开发人员与测试人员提供中断数据访问冲突的场景,并检查给定代码块的原子性是否被违反。

    InterruptSafe 立即试用 查看更多
  • 产品介绍

    InterFace Test(接口测试仪)针对硬件电子设备提供接口测试、功能测试和性能测试功能,覆盖单机调试、软件配置项测试和环境模拟试验等全生命周期过程测试需求,具有模块化、可扩展、高度自动化的特点,广泛应用于航天、航空和国防等领域。

    InterFace Test 立即试用 查看更多

更多的客户将我们的产品应用到业务中

泛联新安掌握软件安全与测试核心技术,相关产品具有完全的自主知识产权,具备优秀的国产化软硬件生态适应能力,已经服务了上百家大型企业。

  • 中航科工

    中兵工业

    中航工业

    中国航发

    中国航天

    中国电科

    中船重工

    工信部电子第五所

    解放军战略支援部队

    军事科学院

    中国科学院

    国防科技大学

    清华大学

    信息工程大学

    中国工程物理研究院

  • 景嘉微

    青岛四方

    唐智科技

    华大九天

    国家电网

    天津飞腾

    鑫航机轮

    中国金融电子化公司

    中央国债登记结算公司

新闻动态 查看更多>

9月8日,第五届湘江金融发展峰会暨2022中国(湖南)创投论坛在长沙举行。峰会发布湘江基金小镇&清科创业《2022湖南未来之星TOP100榜单》。

了解更多

近日,泛联新安CodeSense源代码缺陷分析平台(SAST)成功通过中国信通院泰尔实验室组织的“先进网络安全能力验证评估计划第九期 — 应用安全开发测试工具能力”测试。

了解更多

近日,国产基础软件提供商泛联新安获中国互联网投资基金新一轮战略投资。此次融资,泛联新安将进一步加大在底层核心技术上的研发投入,加快产品升级与市场推广。

了解更多