Verfolgen Sie jede Route, jeden Call Path und jeden Tainted Data Flow.
Farion erzeugt ein Anwendungsmodell aus Routen, Services, Handlern, Calls, Objektinstanzen und Datenflüssen auf Feldebene. SAST, SCA und Active Verification verwenden dieses Modell, um Findings im realen Anwendungskontext zu bewerten.
Erkennen Sie, wo Daten in die Anwendung gelangen.
Farion identifiziert HTTP-Routen, Frontend-Routen, Backend-Routen, RPC-Endpunkte, Message Handler, WebSocket Handler, Public Symbols und weitere unterstützte Entry-Point-Typen.
Erzeugen Sie eine Anwendungskarte direkt aus der Codebase.
Services, Frameworks, Routen, Message Flows und Kommunikationsgrenzen werden zu einem automatisch erzeugten Architekturdiagramm verbunden. Polyglotte Repositories und verteilte Services bleiben Teil desselben Anwendungsmodells.
Verfolgen Sie Ausführung durch die vollständige Anwendung.
Farion löst Calls über Dateien, Services, Framework-Layer und Dependency-Grenzen auf. Geordneter Code Context hält jeden Schritt des Pfads prüfbar.
Verfolgen Sie das konkrete Objektfeld mit nicht vertrauenswürdiger Eingabe.
Die Data-Flow-Analyse arbeitet auf Feldebene, anstatt ein vollständiges Objekt einheitlich als tainted zu behandeln. Sources und Sinks bleiben über die Funktionen und Felder verbunden, die den Wert tatsächlich transportieren.
Verstehen Sie Dependency Injection und konkrete Runtime-Beziehungen statisch.
Farion löst unterstützte Dependency-Injection-Bindings und konkrete Objektinstanzen auf. Dadurch können Flows über Interfaces, Services, Controller und Framework-verwaltete Komponenten hinweg fortgeführt werden.
Nutzen Sie ein Anwendungsmodell für SAST, SCA und Active Verification.
SAST-Findings erhalten Route- und Data-Flow-Kontext. SCA-Findings erhalten Dependency- und Vulnerable-Function-Pfade. Active Verification erhält Routen, Parameter, Sinks und Hypothesen für gezielte Tests.
Häufig gestellte Fragen
Ja. Farion verfolgt Calls und Werte über Dateien hinweg und speichert geordneten Code Context entlang des resultierenden Pfads.
Ja. Die Analyse ist feldsensitiv und kann die Felder verfolgen, die tatsächlich Tainted Data enthalten oder transportieren.
Sehen Sie, wie Farion Ihre Anwendung analysiert.
Fordern Sie einen begleiteten Testzugang an oder gehen Sie den relevanten Workflow gemeinsam mit unserem technischen Team durch.