Formal prosedürler arası taint analizi — kalıp eşleme motorlarının kaçırdığını bulur, LLM ajanlarının kural olarak keşfettiğini uygular, hiçbirinin tek başına ölçeklenemediği yerde ölçeklenir.
English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Português (Brasil) | ไทย | Türkçe | Українська | বাংলা | Ελληνικά | Tiếng Việt
Desteklenen teknolojiler ve entegrasyonlar
Spring uygulamaları için en kapsamlı taint analiz motoru
Yol Haritası
Daha fazla ekran görüntüsü
Yapay zeka, üretim kodunu günümüzün güvenlik araçlarının takip edemeyeceği hızda üretiyor.
LLM güvenlik ajanları insanların kaçırdığı güvenlik açıklarını buluyor, her dosya için token harcıyor ve yine de her şeyi yakaladıklarını garanti edemiyor.
Yapay zeka ne kadar çok kod yazarsa, altında formal yöntemlere o kadar çok ihtiyaç duyarsınız.
- Kalıp eşleme motorlarının kaçırdığını bulun. Prosedürler arası veri akışı motoru, güvenilmeyen verileri fonksiyon sınırları, kalıcılık katmanları, takma adlar ve asenkron kod boyunca takip eder.
- Bir bulgu toplam kapsama dönüşür. Koda özgü kurallar, keşfedilen her güvenlik açığını bir kural olarak tanımlamanıza olanak tanır; motor bunu tüm kod tabanına deterministik olarak, dakikalar içinde uygular.
- Açık kaynak, her şey dahil. Motor, kurallar, CI entegrasyonları — tüm yığın Apache 2.0 ve MIT altında dağıtılır. Taint takibini açmak için ücretli katman yok, kendi kurallarınızı yazmak için engel yok.
Kurulum betiği (Linux/macOS)
curl -fsSL https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.sh | bash
Homebrew ile kurulum (Linux/macOS):
brew install --cask seqra/tap/opentaintKurulum betiği (Windows PowerShell)
irm https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.ps1 | iex
Projenizi tarayın:
opentaint scanVeya Docker kullanın:
docker run --rm -v $(pwd):/project -v $(pwd):/output \
ghcr.io/seqra/opentaint:latest \
opentaint scan --output /output/results.sarif /projectDaha fazla seçenek için Kurulum ve Kullanım bölümlerine bakın.
Tam kılavuzlar — kurulum, kullanım, yapılandırma, CI/CD entegrasyonu: Dokümantasyon.
- Sorunlar: GitHub Issues
- Topluluk: Discord
- E-posta: seqradev@gmail.com
Çekirdek analiz motoru, Apache 2.0 Lisansı altında yayınlanmıştır. CLI, GitHub Action, GitLab CI şablonu ve kurallar, MIT Lisansı altında yayınlanmıştır.