反匯編工具：IDA-PRO
交互式反匯編器專業版（Interactive Disassembler Professional）,人們常稱其為IDA Pro， 或簡稱為 IDA,是總部位于比利時的 Hex-Rayd 公司的一款產品。
二進制代碼大規模同源分析：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是新一代軟件源代碼缺陷深度分析平臺，源自國防科技大學與清華大學研究團隊多年對代碼靜態分析技術的理論深耕，結合軟件工程實踐研發而成。具有良好的語言擴充性、規則完備性、開發環境可集成性。采用控制流分析、數據流分析、上下文敏感分析、對象敏感分析、跨程序分析和跨文件分析等多種先進技術，精準檢測軟件的漏洞與缺陷。
