亚洲欧洲国产经典,国产av永久福利资源网站,91成人精品国产亚洲

隱寫分析軟件：Wetstone Stegohunt MP

StegoHunt MP是業(yè)界領(lǐng)先的隱寫軟件分析工具，用于發(fā)現(xiàn)數(shù)據(jù)隱藏活動的存在。

11-23

數(shù)據(jù)庫恢復(fù)工具DBRecovery2018Suite

是一個數(shù)據(jù)庫恢復(fù)工具，可以恢復(fù)數(shù)據(jù)庫中的表格和數(shù)據(jù)。它使用方便，可以支持微軟Access(.mdb)、FileMaker Pro、Works Database等數(shù)據(jù)庫，也可以支持DBF格式的文件。套件集成到一個方便的安裝程序包的多個數(shù)據(jù)庫恢復(fù)工具。

02-19

反匯編工具：IDA-PRO

交互式反匯編器專業(yè)版（Interactive Disassembler Professional）,人們常稱其為IDA Pro，或簡稱為 IDA,是總部位于比利時的 Hex-Rayd 公司的一款產(chǎn)品。

02-19

取證分析軟件Forensic Explorer

ForensicExplorer澳大利亞GETDATA公司一款專業(yè)的取證分析軟件，具有數(shù)據(jù)恢復(fù)、檢索、分析和報告生成等多... …

02-19

手機數(shù)據(jù)采集器-C100

手機數(shù)據(jù)采集器-C100是按照公安部標(biāo)準(zhǔn)設(shè)計、符合公安部手機數(shù)據(jù)采集標(biāo)準(zhǔn)的手機數(shù)據(jù)采集客戶端解決方案。

02-19

BinSearch是一款基于云計算和大數(shù)據(jù)的二進制代碼同源分析平臺，該平臺通過對軟件二進制代碼、代碼結(jié)構(gòu)及軟件行為的比較，分析兩個軟件之間的相似性，并以此作為同源性判斷的依據(jù)。通過同源性分析，可發(fā)現(xiàn)被重復(fù)使用的代碼中包含的已知漏洞，或是被插入的惡意代碼，并可以很方便地將屬于同一個家族的惡意軟件歸類，從而系統(tǒng)地對其進行分析和防治。

02-19

代碼缺陷檢測管理平臺

VHawk是一款針對Verilog-HDL、VHDL語言，具有自主知識產(chǎn)權(quán)的代碼缺陷檢查管理平臺。獨立自主研發(fā)，用于對FPGA/IC設(shè)計HDL源代碼進行代碼質(zhì)量靜態(tài)規(guī)則檢查的基礎(chǔ)工具軟件。采用了國內(nèi)領(lǐng)先的HDL代碼靜態(tài)分析技術(shù)，提供了針對HDL代碼編碼風(fēng)格、可綜合性、可重用性、時鐘復(fù)位以及狀態(tài)機等潛在設(shè)計缺陷的自動化檢測、缺陷跟蹤及管理一站式解決方案。

02-19

中斷缺陷檢測工具：Interruptsafe

Interruptsafe是一款中斷數(shù)據(jù)競爭缺陷的檢測工具，采用缺陷模式、抽象解釋、過程間分析、指針分析等技術(shù)對中斷引入的并發(fā)語義進行高效、可靠分析，并支持多任務(wù)、多級中斷（不同中斷的優(yōu)先級不同）。數(shù)據(jù)競爭檢查系統(tǒng)是由研發(fā)團隊經(jīng)過長期技術(shù)積累并面向?qū)嶋H應(yīng)用單位需求研發(fā)的一款專門針對C\C++代碼數(shù)據(jù)競爭相關(guān)缺陷檢測的商業(yè)化工具。

02-19

代碼靜態(tài)規(guī)則檢查-：智能單元測試

iUnit是國內(nèi)第一款針對C/C++語言的，具有自主知識產(chǎn)權(quán)的單元測試平臺。它采用先進的技術(shù)自動完成單元測試，大幅度提高開發(fā)和測試人員的效率，縮短軟件開發(fā)周期。此外，iUnit無誤報的深度缺陷檢測還能顯著提升軟件質(zhì)量，并能針對GJB 5000A/CMMI提供一站式解決方案。

02-19

智能安全代碼守護者：CodeSence Pro

CodeSense Pro是新一代軟件源代碼缺陷深度分析平臺，源自國防科技大學(xué)與清華大學(xué)研究團隊多年對代碼靜態(tài)分析技術(shù)的理論深耕，結(jié)合軟件工程實踐研發(fā)而成。具有良好的語言擴充性、規(guī)則完備性、開發(fā)環(huán)境可集成性。采用控制流分析、數(shù)據(jù)流分析、上下文敏感分析、對象敏感分析、跨程序分析和跨文件分析等多種先進技術(shù)，精準(zhǔn)檢測軟件的漏洞與缺陷。

02-19