隐写分析软件:Wetstone Stegohunt MP

StegoHunt MP是业界领先的隐写软件分析工具,用于发现数据隐藏活动的存在。

数据库恢复工具DBRecovery2018Suite

是一个数据库恢复工具,可以恢复数据库中的表格和数据。它使用方便,可以支持微软Access(.mdb)、FileMaker Pro、Works Database等数据库,也可以支持DBF格式的文件。套件集成到一个方便的安装程序包的多个数据库恢复工具。

反汇编工具:IDA-PRO

交互式反汇编器专业版(Interactive Disassembler Professional),人们常称其为IDA Pro, 或简称为 IDA,是总部位于比利时的 Hex-Rayd 公司的一款产品。

取证分析软件Forensic Explorer

ForensicExplorer澳大利亚GETDATA公司一款专业的取证分析软件,具有数据恢复、检索、分析和报告生成等多... …

手机数据采集器-C100

手机数据采集器-C100是按照公安部标准设计、符合公安部手机数据采集标准的手机数据采集客户端解决方案。

二进制代码大规模同源分析:BinSearch

BinSearch是一款基于云计算和大数据的二进制代码同源分析平台,该平台通过对软件二进制代码、代码结构及软件行为的比较,分析两个软件之间的相似性,并以此作为同源性判断的依据。通过同源性分析,可发现被重复使用的代码中包含的已知漏洞,或是被插入的恶意代码,并可以很方便地将属于同一个家族的恶意软件归类,从而系统地对其进行分析和防治。

代码缺陷检测管理平台

VHawk是一款针对Verilog-HDL、VHDL语言,具有自主知识产权的代码缺陷检查管理平台。独立自主研发,用于对FPGA/IC设计HDL源代码进行代码质量静态规则检查的基础工具软件。采用了国内领先的HDL代码静态分析技术,提供了针对HDL代码编码风格、可综合性、可重用性、时钟复位以及状态机等潜在设计缺陷的自动化检测、缺陷跟踪及管理一站式解决方案。

中断缺陷检测工具:Interruptsafe

Interruptsafe是一款中断数据竞争缺陷的检测工具,采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行高效、可靠分析,并支持多任务、多级中断(不同中断的优先级不同)。数据竞争检查系统是由研发团队经过长期技术积累并面向实际应用单位需求研发的一款专门针对C\C++代码数据竞争相关缺陷检测的商业化工具。

代码静态规则检查-:智能单元测试

iUnit是国内第一款针对C/C++语言的,具有自主知识产权的单元测试平台。它采用先进的技术自动完成单元测试,大幅度提高开发和测试人员的效率,缩短软件开发周期。此外,iUnit无误报的深度缺陷检测还能显著提升软件质量,并能针对GJB 5000A/CMMI提供一站式解决方案。

智能安全代码守护者:CodeSence Pro

CodeSense Pro是新一代软件源代码缺陷深度分析平台,源自国防科技大学与清华大学研究团队多年对代码静态分析技术的理论深耕,结合软件工程实践研发而成。具有良好的语言扩充性、规则完备性、开发环境可集成性。采用控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种先进技术,精准检测软件的漏洞与缺陷。

涉密检查与取证软件著作权登记证书

计算机涉密检查与取证工具主要用于安全保密检查和取证工作,对计算机内储存的敏感信息进行扫描,查看和取证。

手机取证分析软件著作权登记证书

手机取证分析软件著作权证书

数据擦除软件著作权登记证书

数据擦除版权认证