Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
the source-code level
Exemples avec "the source-code level" et leurs traductions en allemand
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
To achieve compliance with the FAA's software standard DO-178C Level A, certification applicants must prove that their system and its application work as expected not only at the source-code level, but also at the object-code level.
Um den Nachweis für den FAA Standard DO-178C Ebene A zu führen, müssen Zertifizierungsaspiranten nachweisen, dass ihr System und ihre Anwendung nicht nur wie erwartet auf Quellcodeebene arbeitet, sondern auch auf Objektcodeebene.
All of our debugging solutions allow the search for errors down to the source-code level in all popular object-oriented languages.
Alle unsere Debug-Lösungen erlauben eine Fehlersuche bis auf Source-Code-Ebene in allen gängigen objektorientierten Sprachen.
Autres résultats
The approach is selective symbolic execution on the source code level with interpolation based path merging.
Der Ansatz ist eine selektive symbolische Ausführung auf der Quelltext-Ebene mit interpolationsbasierter Pfadverschmelzung.
Static analysis finds potential issues in code by doing an analysis on the source code level.
Die statische Analyse identifiziert potentielle Schwachstellen im Code durch Überprüfungen auf Quellcode-Ebene.
The highly requested tool C-STAT performs advanced static analysis by doing an analysis on the source code level.
Das stark nachgefragte Tool C-STAT führt fortschrittliche statische Analysen auf der Quellcodeebene durch.
PurePaths measure the execution speed of individual business transactions down to the source code level.
PurePaths messen die Ausführungsgeschwindigkeit einzelner Business-Transaktionen bis auf Sourcecode-Level herab.
C-STAT performs advanced analysis on the source code level.
C-STAT führt eine fortgeschrittliche Analyse auf Quellcodeebene durch.
Static analysis finds potential issues in code by doing an analysis on the source code level.
Mit statischer Analyse auf Quellcode-Ebene lassen sich potentielle Schwachstellen in einem Code frühzeitig lokalisieren.
The most critical levels of certification require comprehensive testing of an application by independent analysis not only at the source code level, but also at the machine code assembler level.
Die kritischsten Ebenen der Zertifizierung benötigen nicht nur einen umfassenden Test der Anwendung durch eine unabhängige Analyse auf der Quellcodeebene, sondern auch auf der Ebene des Maschinenassemblercodes.
By using C-STAT, developers can ensure the quality of their code and find potential issues by doing an analysis on the source code level.
Mit dem Einsatz von C-STAT können Entwickler die Qualität ihres Codes absichern und potentielle Fehler durch eine Analyse auf Quellcodeebene identifizieren.
While program verification at the source code level has received much attention in the last decades, this thesis focuses on providing a sound and precise analysis framework for binaries, thereby enabling the understanding, auditing, and verification of executable programs.
Während die Verifikation von Quellcode in den letzten Jahrzehnten viel Aufmerksamkeit auf sich gezogen hat, ist das Ziel dieser Arbeit eine Infrastruktur für korrekte Analysen von Binärdateien bereitzustellen, um dadurch das Verstehen und die Verifikation von ausführbaren Programmen zu ermöglichen.
Optimizes HDX traffic at the source code level, delivering the best possible XenApp and XenDesktop experience to users
Optimiert HDX Traffic auf Quellcode-Ebene und bietet den Anwendern so die bestmögliche XenApp- und XenDesktop-Performance
Le mot et l’expression du jour
L’image du jour
Suggestions qui contiennent the source-code level
Résultats: 5944. Exacts: 3. Temps écoulé: 299 ms.
