AI 寫的代碼安全嗎？這家 16 人倫敦小公司拿到北約 1.5 億資金，專抓看不見的漏洞

公司的核心武器，是一套名為 BinNet 的專有 AI 模型。它被譽為目前全世界最龐大、專為理解「二進位機器碼語意」而生的模型 。BinNet 經過大量訓練，能逆向還原編譯後的程式碼，偵測出隱匿的漏洞、後門與惡意功能，包括那些由大型語言模型（LLM）無意間生成的不安全程式碼 。

在實務上，這個平台就像軟體供應鏈中的一道驗證層。當國防承包商收到供應商送來的一次韌體更新，或是某家銀行準備部署一個部分由 AI 協作的容器化應用程式時，RevEng.AI 的系統就能掃描最終跑出來的二進位檔案，找出那些靜態分析或原始碼稽核根本抓不到的異常狀況 。

為何這筆 1,500 萬美元的 A 輪募資特別值得關注？

1. 投資人名單本身就是一個強烈訊號

這輪募資的陣容在國防與情報領域極為罕見。由「北約創新基金」掛頭牌，這已是該基金在純網安新創上最引人注目的押注之一 。而 In-Q-Tel，這家非營利創投機構，其背後資助的技術往往會進入美國中央情報局（CIA）及更廣泛的美國情報體系，本次不僅跟投，更是從種子輪就一路相伴的老戰友 。

當一家僅有 16 名員工的倫敦新創，能同時吸引北約的創投基金與美國情報圈的投資手臂，其背後的意義不言而喻：二進位層級的軟體驗證，如今已被提升至國家安全的戰略高位 。

2. AI 生成程式碼的恐慌是真實存在的

這輪融資的新聞稿，直接將公司使命框定在 AI 生成軟體所帶來的風險上 。隨著大型語言模型被大量用於撰寫生產環境程式碼，組織正逐步喪失對「自己的軟體裡到底裝了什麼」的掌握度。RevEng.AI 將 BinNet 定位為專為這個新時代而生的「二進位原生驗證層」——一個看似大膽的宣言，卻已被這群戰略投資人用資金投票認證 。

科技媒體《SiliconANGLE》在報導中，更直接將其與 Anthropic 自家的 Mythos 模型（同樣用於辨識二進位檔案中的網安風險）做比較，並指出 RevEng.AI 已將這個概念「落地商用化」，成為企業與政府單位可以直接部署的平台 。

3. 從種子輪到 A 輪的驚人加速度，印證了市場 traction

RevEng.AI 在 2025 年 6 月才以 Sands Capital 為首，完成 415 萬美元的種子輪募資 。短短不到一年，不僅募資金額一口氣翻了近四倍，領投方更「升級」為北約創新基金。這種跳躍式進展，意味著公司很可能在短時間內，達成了讓國防與大型企業客戶都買單的關鍵里程碑 。

這筆資金將直接用於擴編工程團隊、擴展平台量能，並進軍美國市場，因為在那裡，國防與關鍵基礎設施客戶，代表著最立即且龐大的商業機會 。

更大的宏觀視角

自從 SolarWinds 攻擊事件後，軟體供應鏈安全已成為各大企業董事會上的關鍵議題。但 AI 生成程式碼的崛起，帶來了一種更幽微的風險：那些並非刻意為之的惡意，而是結構上根本就有問題的程式碼。這些程式碼由模型「憑直覺」生成，它們缺乏對編譯後安全特性的推理能力。

RevEng.AI 賭的是，二進位層級的 AI 分析，將成為未來軟體開發生命週期（SDLC）中的標準配備。而這筆沈甸甸的 1,500 萬美元投資，暗示著當今世界上最注重安全的一些機構，都已經點頭同意了這個觀點 。