← Zur Übersicht
CODEX

Tut Ihre Software, was auf dem Zettel steht — und nichts anderes?

Was eine Software können soll, steht in Vorgaben und Dokumentation. Was sie wirklich kann, steht im Code — und dazwischen liest selten jemand nach.

Wie Beipackzettel und Inhalt: Was drin sein soll, gegen das, was wirklich drin ist.

Dokumentation · Funktion · Sicherheit · verborgene Fähigkeiten · Vorgabentreue
Ansicht: TROJAN — Fähigkeiten im Code, die in keiner Vorgabe stehen
Was Aigis hier liest

Quellcode gegen Dokumentation, Vorgaben und Sicherheitsregeln: CORE dokumentiert die Absicht, PULSE prüft Funktion und Stabilität, SHIELD die Sicherheit — jeder Befund mit CWE, Fundstelle und Empfehlung. TROJAN findet, was der Code kann, obwohl es in keiner Vorgabe steht.

Wofür Sie es brauchen

Bei Zulieferungen: ob der gelieferte Code tut, was bestellt war — und nichts anderes. Bei Altsystemen: was der Code wirklich macht, bevor jemand ihn anfasst. Vor der Freigabe: welche Befunde offen sind, welche akzeptiert wurden und warum.

Für wen

Entwicklung, Architektur, Security, Test — und Einkauf oder Projektleitung, die Software beauftragen, ohne sie lesen zu können. Prüfen können Sie auch, ohne den Quellcode herzugeben: der lokale Prüfer läuft bei Ihnen.

Die Grenze Keine Garantie, dass Code fehlerfrei ist: Aigis zeigt Befunde mit Fundstelle — welche Sie akzeptieren und ob Sie freigeben, entscheiden Sie.

Aus dem Programm

Wie sieht ein Befund am Code aus?

Ein SHIELD-Befund nennt Datei und Zeile, die CWE, den Schweregrad, die Grundlage aus CORE und PULSE und eine Empfehlung — und hält fest, wie entschieden wurde. TROJAN listet daneben, was der Code kann, obwohl es in keiner Vorgabe steht.

Ansicht im Programm: Prüfkreis · SHIELD — ein Befund am Code: die Maschine liefert, Aigis belegt, der Mensch entscheidet
Lokaler Prüfer

Prüfen, ohne den Quellcode herzugeben.

Der Kunde legt fest, woran gemessen wird. Der Lieferant betreibt den Aigis-Prüfer auf seinem eigenen Rechner: ein Python-Skript, dessen Quelltext er lesen kann. Es liest die Datei lokal, fragt ein lokal laufendes Modell und spricht nach außen nur mit dem Mandanten. Der Quellcode verlässt das Haus nicht als Ganzes — die Befunde tun es, ohne Freigabeschritt. Die Suche nach Funktionen, die in keiner Vorgabe stehen, braucht die Dateien im Aigis-Arbeitsbereich. Wie ein Gutachter, der den Wagen in Ihrer Halle prüft und nur sein Gutachten mitnimmt.

Wieder und wieder prüfen

Was ist eine Prüfung wert, die in einer Liste endet?

Sie hat nicht geprüft, sie hat vertagt. Zero Findings™ ist unser Ziel, kein Versprechen: der Zustand, in dem nichts mehr offen ist — und ein Projekt, bei dem nichts offen ist, steht nicht still. Ob Sie dorthin kommen, entscheiden Ihre Entscheidungen; damit die Prüfung den Weg zeigen kann, muss sie wiederholbar sein: Jeder Lauf trägt eine Nummer, jeder frühere Stand bleibt erhalten.

Zero Findings™

Prüfen. Entscheiden. Anpassen. Wieder prüfen.

Bis nichts mehr offen ist — nicht bis die Besprechung vorbei ist.

Eine übliche Prüfung endet in einer Liste, einer Besprechung und Nacharbeit. Sobald mehr produziert wird, hält dieses Vorgehen nicht mehr Schritt. Aigis macht daraus einen wiederholbaren Ablauf: Abweichung erkennen, Ursache zeigen, Entscheidung festhalten, Anpassung prüfen, erneut nachsehen.

VORGABE ANALYSE VERGLEICH BEFUND ENTSCHEID ANPASSUNG NACHWEIS ERNEUT

Daraus entsteht nicht nur Zeitgewinn, sondern ein Register, das man weiterreichen kann: jede Vorgabe, jeder Befund, jede Entscheidung mit Namen und Zeitpunkt. Wer später fragt, warum etwas so entschieden wurde, findet die Antwort — nicht die Erinnerung daran.

Ansicht im Programm: Vorgaben · Reiter Verlauf — jede Gesamtprüfung mit Nummer, jeder Stand bleibt
Jede Prüfung baut auf der letzten auf — nicht auf der Erinnerung an sie.
Fragen & Antworten

Die häufigsten Fragen aus der Praxis.

Wie kommt Quellcode in Aigis?

Als Dateien in einen Projektordner — mehrere auf einmal; ob eine Datei Quelltext ist, entscheidet ihr Inhalt, nicht die Endung, und was keiner ist, wird abgewiesen und gemeldet. Öffentliche Repositories importieren Sie per Adresse, ohne Zugangsdaten — von GitHub, GitLab, Bitbucket, Azure DevOps, Codeberg und Gitea, dazu GNOME GitLab, KDE Invent, freedesktop.org, Debian Salsa und Framagit. Private Repositories laden Sie als Archiv hoch — ZIP, TAR (.tar.gz, .tgz, .tar.bz2, .tar.xz), 7z oder RAR, bis 30 MB; Aigis nimmt dafür keinen Schlüssel und kein Token an. In der CI/CD-Pipeline, etwa mit GitHub Actions oder GitLab CI, lädt aigis-ci den Arbeitsstand hoch und liest das Prüfergebnis als Freigabe-Gate zurück. Oder der lokale Prüfer liest die Dateien auf Ihrem Rechner. Befunde gehen als SARIF wieder hinaus: in die IDE, in GitHub Code Scanning oder DefectDojo.

Kosten

Abgerechnet wird nach dem Umfang Ihrer Unterlagen und mit festen Preisen je Lauf — nicht nach Sitzplätzen, nicht nach Rechenzeit. Vor jeder Auswertung sehen Sie, was sie kostet.

Was es kostet →