隱寫分析軟件:Wetstone Stegohunt MP
StegoHunt MP是業(yè)界領(lǐng)先的隱寫軟件分析工具,用于發(fā)現(xiàn)數(shù)據(jù)隱藏活動(dòng)的存在。
數(shù)據(jù)庫恢復(fù)工具DBRecovery2018Suite
是一個(gè)數(shù)據(jù)庫恢復(fù)工具,可以恢復(fù)數(shù)據(jù)庫中的表格和數(shù)據(jù)。它使用方便,可以支持微軟Access(.mdb)、FileMaker Pro、Works Database等數(shù)據(jù)庫,也可以支持DBF格式的文件。套件集成到一個(gè)方便的安裝程序包的多個(gè)數(shù)據(jù)庫恢復(fù)工具。
反匯編工具:IDA-PRO
交互式反匯編器專業(yè)版(Interactive Disassembler Professional),人們常稱其為IDA Pro, 或簡(jiǎn)稱為 IDA,是總部位于比利時(shí)的 Hex-Rayd 公司的一款產(chǎn)品。
取證分析軟件Forensic Explorer
ForensicExplorer澳大利亞GETDATA公司一款專業(yè)的取證分析軟件,具有數(shù)據(jù)恢復(fù)、檢索、分析和報(bào)告生成等多... …
手機(jī)數(shù)據(jù)采集器-C100
手機(jī)數(shù)據(jù)采集器-C100是按照公安部標(biāo)準(zhǔn)設(shè)計(jì)、符合公安部手機(jī)數(shù)據(jù)采集標(biāo)準(zhǔn)的手機(jī)數(shù)據(jù)采集客戶端解決方案。
二進(jìn)制代碼大規(guī)模同源分析:BinSearch
BinSearch是一款基于云計(jì)算和大數(shù)據(jù)的二進(jìn)制代碼同源分析平臺(tái),該平臺(tái)通過對(duì)軟件二進(jìn)制代碼、代碼結(jié)構(gòu)及軟件行為的比較,分析兩個(gè)軟件之間的相似性,并以此作為同源性判斷的依據(jù)。通過同源性分析,可發(fā)現(xiàn)被重復(fù)使用的代碼中包含的已知漏洞,或是被插入的惡意代碼,并可以很方便地將屬于同一個(gè)家族的惡意軟件歸類,從而系統(tǒng)地對(duì)其進(jìn)行分析和防治。
代碼缺陷檢測(cè)管理平臺(tái)
VHawk是一款針對(duì)Verilog-HDL、VHDL語言,具有自主知識(shí)產(chǎn)權(quán)的代碼缺陷檢查管理平臺(tái)。獨(dú)立自主研發(fā),用于對(duì)FPGA/IC設(shè)計(jì)HDL源代碼進(jìn)行代碼質(zhì)量靜態(tài)規(guī)則檢查的基礎(chǔ)工具軟件。采用了國(guó)內(nèi)領(lǐng)先的HDL代碼靜態(tài)分析技術(shù),提供了針對(duì)HDL代碼編碼風(fēng)格、可綜合性、可重用性、時(shí)鐘復(fù)位以及狀態(tài)機(jī)等潛在設(shè)計(jì)缺陷的自動(dòng)化檢測(cè)、缺陷跟蹤及管理一站式解決方案。
中斷缺陷檢測(cè)工具:Interruptsafe
Interruptsafe是一款中斷數(shù)據(jù)競(jìng)爭(zhēng)缺陷的檢測(cè)工具,采用缺陷模式、抽象解釋、過程間分析、指針分析等技術(shù)對(duì)中斷引入的并發(fā)語義進(jìn)行高效、可靠分析,并支持多任務(wù)、多級(jí)中斷(不同中斷的優(yōu)先級(jí)不同)。數(shù)據(jù)競(jìng)爭(zhēng)檢查系統(tǒng)是由研發(fā)團(tuán)隊(duì)經(jīng)過長(zhǎng)期技術(shù)積累并面向?qū)嶋H應(yīng)用單位需求研發(fā)的一款專門針對(duì)C\C++代碼數(shù)據(jù)競(jìng)爭(zhēng)相關(guān)缺陷檢測(cè)的商業(yè)化工具。
代碼靜態(tài)規(guī)則檢查-:智能單元測(cè)試
iUnit是國(guó)內(nèi)第一款針對(duì)C/C++語言的,具有自主知識(shí)產(chǎn)權(quán)的單元測(cè)試平臺(tái)。它采用先進(jìn)的技術(shù)自動(dòng)完成單元測(cè)試,大幅度提高開發(fā)和測(cè)試人員的效率,縮短軟件開發(fā)周期。此外,iUnit無誤報(bào)的深度缺陷檢測(cè)還能顯著提升軟件質(zhì)量,并能針對(duì)GJB 5000A/CMMI提供一站式解決方案。
智能安全代碼守護(hù)者:CodeSence Pro
CodeSense Pro是新一代軟件源代碼缺陷深度分析平臺(tái),源自國(guó)防科技大學(xué)與清華大學(xué)研究團(tuán)隊(duì)多年對(duì)代碼靜態(tài)分析技術(shù)的理論深耕,結(jié)合軟件工程實(shí)踐研發(fā)而成。具有良好的語言擴(kuò)充性、規(guī)則完備性、開發(fā)環(huán)境可集成性。采用控制流分析、數(shù)據(jù)流分析、上下文敏感分析、對(duì)象敏感分析、跨程序分析和跨文件分析等多種先進(jìn)技術(shù),精準(zhǔn)檢測(cè)軟件的漏洞與缺陷。
手機(jī)取證分析軟件
手機(jī)取證分析軟件支持安卓手機(jī)提取和iPhone手機(jī)提取.支持直接提取,鏡像提取和WIFI提取等方式.








