Die graph-basierte high-level Darstellung eignet sich besonders für Programmanalysen und Transformationen.
The graph-based high-level representation is intended for program analysis and transformation.
Der Schwerpunkt liegt meist auf Commercial-off-the-shelf-Binarys; daher kommen Methoden wie statische und dynamische Programmanalysen sowie Reverse Engineering zum Einsatz.
The focus is mostly on commercial-off-the-shelf binaries, so methods such as static and dynamic program analysis as well as reverse engineering are used.
Wir haben eine Reihe relevanter Programmanalysen angepasst und implementiert um Parallelität aufzudecken und zu nutzen.
We have identified, adapted and implemented a set of program analyses to expose and access the available parallelism.
Diese Arbeit stellt eine Analyse-Umgebung vor, die auf der Theorie der abstrakten Interpretation aufbaut und den Einsatz von klassischen Programmanalysen auf Hardwarebeschreibungssprachen erlaubt.
This thesis presents an analysis framework that is build on the theory of abstract interpretation allowing use of classical program analyses on hardware description languages.
Der Ansatz geht noch weiter: Eine Kombination aus Programmanalysen und Methoden des maschinellen Lernens soll Prognosen für die künftige Performance erlauben.
The approach goes even further: A combination of program analyses and methods of machine learning should allow forecasts for future performance.
Analysieren Sie den Programmreifegrad durch eine Kombination aus Umfragen unter Verantwortlichen, Bedrohungsmodellierung, Programmanalysen und gezielten Investitionen.
Assess program maturity through a combination of stakeholder surveys, threat modeling, program analysis, and investment allocation
Datenfluss-basierte statische Programmanalysen benötigen Informationen zu den an einer Programmstelle eintreffenden gültigen Definitionen.
Dataflow-based static program analyses need to know the reaching definitions arriving at the program's statements.
Der Schwerpunkt unserer Forschung sind Programmanalysen, die dem Programmverstehen, dem Erhalt von Architektur und Qualität in der Wartung und der frühzeitigen Fehlervermeidung dienen.
The focus of our research are program analyses that support program understanding, preservation of architectural principles and software quality during maintenance, and early error detection.
Zunächst wird mit Hilfe von statischen und dynamischen Programmanalysen die implementierte Softwarearchitektur automatisiert aus dem Quellcode des Hafentelematik-Systems extrahiert.
First, the implemented software architecture is automatically extracted from the source code of the port telematics system, employing static and dynamic program analyses (1).
Spezielle Interessensbereiche sind Programmiermodelle, Übersetzer, Dolmetscher, Programmanalysen, -verifikation und -optimierung sowie Kompilierungstechniken für zuverlässige und robuste eingebettete Systeme und Hochleistungssysteme.
Particular fields of interests include programming paradigms, compilers, interpreters, program analysis, verification, and optimization, and compilation techniques for dependable and robust embedded systems and high-performant systems.
Forschung Der Schwerpunkt unserer Forschung sind Programmanalysen, die dem Programmverstehen, dem Erhalt von...
Research The focus of our research are program analyses that support program understanding, preservation of...
Topaz für Programmanalysen ermöglicht eine intelligente Analyse von Mainframe-Programmen und stellt die Ergebnisse dieser Analysen in einer visuell intuitiven Form dar.
Blog Topaz for Program Analysis intelligently analyzes mainframe programs and presents the results of that analysis in a visually intuitive manner.
Statische Programmanalysen werden von uns mittels des in Abbildung \reffig:gravity dargestellten GRaViTY-Fameworks durchgeführt.
We perform static program analyses with the GRaViTY framework shown in figure \reffig:gravity.
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.
