■ Schritt 03 / 03 · Berechnen
ELFalyzer
Das System verstehen. Ohne Quellcode, ohne DWARF.
Stack, Laufzeit und Speicher direkt aus dem Binärabbild. Zugelieferte Komponenten werden nachprüfbar, bevor sie im System landen.
0 ZeilenQuellcode nötig. Vertrauliche Binaries verlassen dein Netz nicht.
■ ELFalyzer in einer Minute
Kurz erklärt.
01 · Das ProblemDer Zulieferer liefert ein Binary.
Wie viel Stack, wie viel Laufzeit, wo ist Reserve?
02 · Was ELFalyzer tutELFalyzer liest das aus dem Binärabbild.
Ohne Quellcode, auch aus einzelnen .o- und .a-Dateien.
03 · Was du davon hastWissen statt schätzen.
Eine obere Schranke für den Stack, bevor gebaut wird.
■ Warum es zählt
Zugelieferte Komponenten werden nachprüfbar.
Stack auslegen, bevor er überläuft.
Wissen, was eine Änderung kostet.
Alles bleibt im Haus.
Alle Features (11)
$ elfalyzer --features
- Vollständige Programmstruktur aus dem Binärabbild: Sektionen, Symbole, Speicherlayout, Copy-Tables
- Interprozeduraler SSA-Datenfluss mit Argument-Kontexten und Branch-Decidability
- Kontextfähiger Call-Graph inkl. Auflösung indirekter Aufrufe und Rekursionserkennung
- Stack- und CSA-Auslegung nach Scheduling-Modell, CSA-Pool bei TriCore
- Laufzeitabschätzung je Funktion, Frequenzanalyse von Aufrufen und Zugriffen
- Virtuelles Linken einzelner .o- und .a-Dateien
- Snapshots und Was-wäre-wenn-Szenarien aus einem einzigen Abbild
- Abgleich gegen reale Traces: gemessen, statisch, ungenutzte Reserve
- Native Erkennung von GCC- und Tasking-Idiomen
- Rückprojektion auf den Quellcode, wenn DWARF vorliegt
- Python-Bibliothek, CLI und GUI, automatisierbar in CI/CD
■ Teil der alyzer-Toolchain
Drei Werkzeuge, ein Datenmodell.
Was eines aufzeichnet, nutzt das nächste: ohne Export, ohne Verlust.
ELFalyzer live sehen.
30 Minuten Bildschirm teilen mit denen, die es gebaut haben. Bring deine Messung oder dein Binary mit.