While static program analysis for proving safety properties or finding bugs usually targets source code, in many potential analysis scenarios only a binary is available.
Statische Programmanalyse zum Beweis von Sicherheitseigenschaften oder zum Entdecken von Fehlern zielt normalerweise auf Quelltext ab, in vielen potentiellen Analyseszenarien ist jedoch nur eine Binärdatei verfügbar.
UModel includes a powerful reverse engineering capability to read Java source code and binary files to generate UML models for a visual representation that is much clearer and more easily analyzed than the text-based program code.
UModel enthält eine leistungsstarke Reverse Engineering-Funktion zum Lesen von Java-Quellcode und Binärdateien zur Generierung von UML-Modellen zur visuellen Darstellung, die um vieles klarer und übersichtlicher als der textbasierte Programmcode ist.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.