Yapay Zekâ Destekli Cihaz Güvenliğini Genişletmek İçin Finite State’ten 27 Milyon Dolarlık C Serisi Yatırım

Finite State, yapay zekâ destekli ürün güvenliği platformunu ve uluslararası faaliyetlerini genişletmek amacıyla C Serisi yatırım turunda 27 milyon dolar topladı. The O.H.I.O. Fund tarafından yönetilen özel fonların liderlik ettiği tura CIBC Innovation Banking, Energy Impact Partners, Energize Capital ve National Grid Partners da katıldı.

Merkezi Ohio eyaletinin Columbus kentinde bulunan şirket, güvenlik açıklarının daha hızlı keşfedilmesiyle önemi giderek artan bir soruna odaklanıyor: Üreticilerin, sattıkları cihazların içinde gerçekte hangi yazılımların çalıştığını bilmesi gerekiyor. Ortak kullanılan bir bileşendeki kusur araçları, tıbbi ekipmanları, endüstriyel sistemleri veya tüketici elektroniği ürünlerini etkileyebilir; ancak tamamlanmış ürünlerden hangilerinin bu bileşeni içerdiğini belirlemek zor olabilir.

Finite State, sermayeyi uluslararası pazarlardaki varlığını güçlendirmek ve platformunun daha özerk özelliklerini geliştirmek için kullanmayı planlıyor. Teknolojisi, yazılım bileşenlerinin analizini güvenlik açığı istihbaratı ve uyumluluk iş akışlarıyla birleştirerek sevk edilen koda ilişkin bir envanteri, hangi konuların ele alınması gerektiğine dair kararlara dönüştürmeyi amaçlıyor.

Gerçekte Sevk Edilen Yazılımları İncelemek

Bağlantılı ürünler birçok kaynaktan gelen bileşenlerle oluşturulur: bir işletim sistemi, açık kaynaklı kütüphaneler, tedarikçi SDK’ları, kart destek paketleri ve özel uygulamalar. Üreticiler kendi kaynak kodlarını denetleyebilir, ancak diğer tedarikçilerin sağladığı derlenmiş bileşenler hakkında sınırlı bilgiye sahip olabilir.

Derleme manifestosu, bir geliştirme sürecinde nelerin yer almasının beklendiğini açıklar. Ürün yazılımı analizi ise bu süreçte ortaya çıkan yapıyı inceler. Paketleme sırasında bir bileşen eklendiğinde, tedarikçi bir kütüphaneyi değiştirdiğinde veya bir bağımlılık doğrudan yürütülebilir dosyaya derlendiğinde bu fark önem kazanır.

Finite State’in ikili dosya analizi belgeleri, ürün yazılımı kalıplarının, kapsayıcıların, arşivlerin ve yürütülebilir dosyaların açılmasını, ardından ikili dosyalara yönelik yazılım bileşimi analiziyle bileşenlerin belirlenmesini açıklıyor. Şirket ayrıca derlenmiş koda statik uygulama güvenlik testi uygulayarak basit bir paket adı listesinin ötesindeki zayıflıkları inceliyor.

Ortaya çıkan envanter; değiştirilmiş ve statik olarak bağlanmış bileşenleri içerebilir. Bulgular, güvenlik açığı, istismar ve lisans bilgileriyle zenginleştirilir. Analiz ayrıca koda sabitlenmiş kimlik bilgilerini, açığa çıkmış anahtarları ve kriptografik sorunları da araştırır. Desteklenen girdiler arasında ürün yazılımları, paylaşımlı kütüphaneler, mobil uygulama ikili dosyaları ve üçüncü taraf yazılımların yanı sıra mevcut olduğunda kaynak kodu da bulunur.

Şirketin temel iddiası şu: Güvenlik kararları, yalnızca ürünle birlikte sunulan belgelere dayanmamalı; tamamlanmış ürünün içeriğini esas almalı.

Bileşen Envanterini Giderim Kararına Dönüştürmek

Güvenlik açığı bulunan bir bileşeni bulmak yalnızca başlangıçtır. Ürün ekibinin, etkilenen koda erişilip erişilemediğini, bir istismarın cihazın yapılandırması açısından geçerli olup olmadığını ve hangi sürümlerin ya da ürün varyantlarının düzeltilmesi gerektiğini belirlemesi gerekir.

Finite State’in platforma genel bakışı, erişilebilirlik, istismar istihbaratı ve ürün bağlamına dayalı önceliklendirmeyi açıklıyor. Amaç, mühendislerin aynı düzeyde pratik risk oluşturmayan bulguları araştırmak için harcadığı zamanı azaltmak.

Yazılım Malzeme Listesi (SBOM), bir üründeki bileşenleri kaydeder. Güvenlik Açığı İstismar Edilebilirliği Değişimi (VEX) ise belirli bir güvenlik açığının söz konusu ürünü etkileyip etkilemediğine ilişkin bilgi ekler. Bu kayıtlar birlikte, bir bileşenin üründe bulunup bulunmadığına ilişkin envanter sorusuyla, bileşenin yarattığı riskin değerlendirilmesini birbirinden ayırmaya yardımcı olur.

Finite State, platformunun bilinen ve daha önce bilinmeyen güvenlik açıklarını belirleyebildiğini söylüyor. Bunun için farklı analiz türleri bir arada kullanılıyor: bileşenler açıklanmış sorunlarla eşleştiriliyor ve derlenmiş kod zayıflıklar açısından inceleniyor. Sonucun yararlılığı, üretilen uyarıların sayısına değil, bir bulgunun dayandığı kanıtlara ve cihazla ne ölçüde ilgili olduğuna bağlı.

Yapay Zekâ Otomasyonunda Analiz Kalitesine İlişkin Kanıtlar Hâlâ Gerekli

Şirketin yapay zekâ çalışmalarına ilişkin pratik örneklerden biri, 2026’nın başlarında tanıtılan Yapay Zekâ ile Paket Açma Değerlendirme Aracısı. Bu aracı, yüklenen bir yazılım bileşeninin ne ölçüde eksiksiz çıkarıldığını değerlendiriyor ve sonraki analizleri sınırlayabilecek eksiklikleri açıklıyor.

Bu adım önemli; çünkü bir tarama, başarıyla çıkarılmamış kodu değerlendiremez. Şifrelenmiş kapsayıcılar, iç içe arşivler veya alışılmadık ürün yazılımı paketleme yöntemleri, yazılım bileşeninin bir bölümünü tarayıcının görüş alanının dışında bırakabilir.

Finite State’e göre aracı bir kalite puanı veriyor, çıkarma işleminin eksik kalmasının olası nedenlerini belirliyor ve içeriğin şifresini çözmek, yerel ortamda açmak veya yeniden yüklemeden önce bir arşivi yeniden paketlemek gibi adımlar öneriyor. Otomasyon, ekiplerin analizin neleri kapsadığını anlamasına yardımcı oluyor; tamamlanmış her taramanın aynı ölçüde kapsamlı olduğunu varsaymıyor.

Daha kapsamlı platform, bu analizi gözden geçirilebilir iş akışlarına bağlıyor. Yayımlanan mimari açıklamasına göre platform; ürün yazılımlarını, ikili dosyaları, kaynak kodunu, tedarikçilerin SBOM’larını ve belgeleri ortak bir sürece alarak güvenlik bulguları, doğrulama kanıtları ve raporlar oluşturuyor.

Ürün Güvenliğini Uyumluluk Çalışmalarına Bağlamak

Finansman duyurusu, düzenleyici baskının yanı sıra güvenlik açıklarının daha hızlı keşfedilmesini de talebi artıran etkenler arasında gösteriyor. Üreticilerin, yazılım risklerini nasıl belirlediklerini, etkilerini nasıl değerlendirdiklerini ve ürün yaşam döngüsü boyunca bu riskleri nasıl ele aldıklarını ortaya koyan kanıtlara duyduğu ihtiyaç giderek artıyor.

Finite State, ürün bileşenleriyle ilişkilendirilmiş SBOM’lar, VEX kayıtları ve uyumluluk paketleri oluşturuyor. Platformu ayrıca mimariyi, güvenlik gereksinimlerini ve doğrulama çalışmalarını birbirine bağlıyor; böylece ekiplerin bir tasarım kararını müşteriye ulaşan yazılımla ilişkilendirmesine yardımcı oluyor.

Bu bağlantı, sürümler arasındaki değişikliklerin izlenmesini kolaylaştırabilir. Bir tedarikçi bir bileşeni güncellediğinde veya üretici yeni bir aygıt yazılımı imajı yayımladığında, güvenlik kanıtlarının önceki bir sürümden kalma statik bir belge olarak kalmayıp yeni ürünü yansıtması gerekir.

Duyuruda, Tier 1 otomotiv elektroniği ve akıllı kokpit tedarikçisi JET OPTOELECTRONICS’in geri bildirimlerine de yer veriliyor. Şirketin yazılım departmanında kıdemli yönetici olan Bruce Lin, Finite State’in sevk edilmiş cihazlar, doğrudan ve dolaylı bağımlılıklar ile tedarikçinin tabi olduğu gereksinimlerle eşleştirilmiş uyumluluk kanıtları hakkında sağladığı görünürlüğü vurguladı.

Ürün Güvenliğinde Yeni Aşamayı Finanse Etmek

Kurucu ve CEO Matt Wyckhouse, sorunu yapay zekâ destekli güvenlik açığı keşfinin hızıyla üreticilerin etkilenen ürünleri belirleme becerisi arasındaki giderek büyüyen fark olarak tanımladı. Yeni finansman, hem platformun geliştirilmesini hem de uluslararası faaliyetlerin genişletilmesini destekliyor.

Yatırımcı grubu, yazılım tedarik zinciri riskine maruz kalan sistemlerin çeşitliliğini de yansıtıyor. Bağlantılı cihazların güvenliği, geleneksel BT’nin ötesine geçerek enerji altyapısını, endüstriyel faaliyetleri, ulaşımı ve sağlık hizmetlerini kapsıyor; bu ortamlarda bir açığı belirlemek ve güvenli bir düzeltme uygulamak birçok tarafın katılımını gerektirebilir.

Finite State’in C Serisi yatırımı, bu kararları daha yönetilebilir kılmaya dayalı bir stratejiyi destekliyor: sevk edilen yazılımı incelemek, bulguları etkiledikleri ürünlerle ilişkilendirmek, kayda değer riskleri önceliklendirmek ve alınan önlemlerin kanıtlarını saklamak. Yapay zekâ olası zayıflıkların daha hızlı bulunmasını sağlarken, ticari fırsat da üreticilerin giderek artan bulgu hacmini savunulabilir eylemlere dönüştürmesine yardımcı olmak.