提交
×

泛联新安

ValiantSec

For Better Code test

创造更美好代码

软件测试工具

软件安全工具

EDA工具

关于泛联新安

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

泛联新安是国产基础软件工具领导者。公司团队成员均来自国防科技大学、清华大学、北航、哈工大等国内外知名院校,以及Honeywell和Synopsys等国际知名企业。公司与中国科学院国家空间科学中心共同投资组建中科空间(长沙)信息科技研究院,与国防科技大学计算机学院共建湖南省软件安全智能并行分析重点实验室。

查看更多
创造更美好代码

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

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

    iUnit是一款针对C/C++语言的,具有自主知识产权的单元测试平台,它能够对源代码进行路径分析,采用先进的符号执行技术自动生成单元用例并模拟执行,大幅度提高开发和测试人员的效率,缩短软件开发周期。iUnit无误报的深度缺陷检测能显著提升软件质量,并能针对GJB 5000A/CMMI提供一站式解决方案。

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

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

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

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

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

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

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

    CodeSense 是新一代的软件源代码缺陷分析平台。经过清华大学与国防科技大学的专家团队对代码静态分析技术的深度理论研究,结合软件工程实践研发而成。CodeSense 使用了控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种国内外先进技术,能够精准的检测软件安全漏洞与质量缺陷,支持多种编程语言,具有强大的检测规则扩展能力,支持多种开发环境与国产化平台。

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

    软件智能模糊测试平台XFuzz是一种高级的模糊测试解决方案,通过基于程序分析和运行时反馈智能生成测试用例,自动缺陷检测和验证大大减少手动测试的工作量,帮助客户以更少的时间、成本和精力来交付安全可靠的软件。

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

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

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

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

    ChipDevTurbo 立即试用 查看更多

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

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

  • 中航科工

    中兵工业

    中航工业

    中国航发

    中国航天

    中国电科

    中船重工

    工信部电子第五所

    解放军战略支援部队

    军事科学院

    中国科学院

    国防科技大学

    清华大学

    信息工程大学

    中国工程物理研究院

  • 景嘉微

    青岛四方

    唐智科技

    华大九天

    国家电网

    天津飞腾

    鑫航机轮

    中国金融电子化公司

    中央国债登记结算公司

新闻动态 查看更多>

9月17日,由湖南省人民政府、工业和信息化部主办的“2021世界计算大会”在湖南长沙开幕。大会以“计算万物·湘约未来——计算产业新格局”为主题,十八位中外院士、数十位专家学者及企业家分享了真知灼见,数百万名观众在线上参与计算领域全球盛会。

了解更多

9月9日-9月15日,国内软件行业最具影响力峰会之一的TID质量竞争力大会在北京国家会议中心召开,大会以“下一代软件研发,构建智能生态”为主题,聚焦软件行业的创新与发展、应用安全治理与实践、大数据与人工智能等议题。会议期间湖南泛联新安信息科技有限公司在大会ChinaTest-中国软件测试论坛发表了《独立自主国产化的代码静态分析技术与军工级自动化单元测试技术解析》为主题的演讲与分享,引起了与会者的广泛关注。在同期的展览活动中,泛联新安展台同样人气聚集,收获满满。

了解更多

近日,湖南泛联新安信息科技有限公司的新产品-FPGA代码质量缺陷检测与质量分析软件产品完成银河麒麟麟操作系统上的兼容性测试,达到通用兼容性要求及性能、可靠性要求,满足用户的关键性应用需求,成功获得麒麟软件 NeoCertify 认证,实现与国产主流操作系统的全面兼容。

了解更多