Examples with "statischen Programmanalysen" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Im letzten Jahrzehnt konnte ein deutlicher Trend festgestellt werden, diesen Vorgang durch den Einsatz statischer Programmanalysen zu automatisieren.
The last decade showed a trend to automate much of this work by employing static analyses.
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.
Statische Programmanalysen für Java sehen sich mit vielen Problemen konfrontiert, wenn das zu analysierende Programm dynamische Features benutzt, wie etwa handgeschriebene Class Loaders oder Reflection: Wie kann die statische Analyse herausfinden, welche Methoden das Programm über Reflection aufruft?
Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders: How can a static analysis know which reflective calls the program will execute?
Clara (CompiLe-time Approximation of Runtime Analyses) ist ein neuartiges Rahmenwerk für die Implementierung von Hybriden Typestate Analysen. Clara nutzt statische Programmanalysen, um Laufzeitmonitore für reguläre Sprachen ("Typestate properties") partiell statisch auszuwerten.
Clara (CompiLe-time Approximation of Runtime Analyses) is a novel research framework for the implementation of hybrid typestate analyses, which use static analyses to partially evaluate runtime monitors for typestate properties.
Durch die Einbettung von XML und XML Anfragesprachen in gängige Programmiersprachen für Sensorennetzwerke sowie durch statische Programmanalysen wollen wir den Speicherplatzbedarf von XML so verringern, dass im Idealfall der XML Overhead ganz eliminiert wird und somit die Benutzung von XML in Sensorennetzwerken ermöglicht wird.
We want to reduce the memory requirements or even eliminate the XML overhead by embedding XML and XML query languages in widely used programming languages for sensor networks and by a static program analysis. Continuous queries: Querying sensor networks usually results in long time active in-network queries.
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.
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).
Programmanalysen (Dynamische und statische Überprüfung von Programmeigenschaften)
Program analysis (Dynamic and static validation of program properties)
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor statischen Programmanalysen in het Duits
