Examples with "statischer Programmanalyse" 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.
Bei der statischer Programmanalyse gilt es stets, zwischen Analysepräzision und Rechenaufwand abzuwägen.
Parametric In static program analysis, there is always a trade-off between analysis precision and analysis cost.
Beschreibung: TamiFlex ist eine Best-Effort Lösung für das „Reflektionsproblem" in statischer Programmanalyse in Java.
Description: TamiFlex is a solution to the dreaded "reflection problem" in static program analysis for Java.
Die verbreiteten Ansätze, um mit statischer Programmanalyse Tests zu generieren, sind das Symbolic Execution und Concolic Execution (Concrete&Symbolic Execution).
The main approaches using static program analysis are Symbolic Execution and Concolic Execution (Concrete&Symbolic Execution).
Andere resultaten
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet.
Steffen Jost researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources.
Es wurde diverse Werkzeuge für das Internet, für die Strukturierung und Dokumentation von Quellcode und für die statische Programmanalyse entwickelt.
We developed several tools for the Internet, for structuring and documenting source code and for static program analysis.
Dies ergänzen wir durch die Erforschung neuer Methoden zur statischen Programmanalyse, mit deren Hilfe schon während des Kompilierens Fehler im Code und Potential für Programmoptimierungen gefunden werden können.
We complement this research with investigating novel methods in static analysis, with which bugs and optimization potential can be discovered during compilation.
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.
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.
Die Forschungsschwerpunkte Wilhelms umfassen Programmiersprachen, Übersetzerbau, statische Programmanalyse, eingebettete Echtzeitsysteme und die Animation und Visualisierung von Algorithmen und Datenstrukturen.
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
Diese Dissertation stellt compilergestützte Schwachstellenanalyse vor einen neuartigen Ansatz, welcher Techniken aus der statischen Programmanalyse und dem Software Testing kombiniert, um Schwachstellen noch während des Entwicklungsprozesses zu erkennen.
This dissertation introduces compiler assisted vulnerability assessment, a novel approach that brings together techniques from program analysis and software testing for recognizing vulnerabilities as software is written.
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet. Die Grundidee basiert auf der Technik der Amortisierten Komplexitätsanalyse, deren nicht-triviale Automatisierung durch ein erweitertes Typsystem erreicht wird.
Text researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources. The technique is based on the manual amortised complexity analysis. Inference is achieved through a type system annotated with linear constraints.
Beschreibung Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft.
Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.
Jörg Herter arbeitet als leitender technischer Berater bei AbsInt und hält regelmäßig Vorlesungen über statische Programmanalyse, eingebettete Systeme und Übersetzerbau an der Hochschule für Technik und Wirtschaft des Saarlandes sowie an der Universität Luxemburg.
Jörg Herter works as a Senior Technical Consultant for AbsInt. He teaches static program analysis, embedded systems technology, compiler construction, and mathematics at the Saarland University of Applied Sciences and Cooperative Education.
Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft. Astrée wird vorrangig zur Analyse von sicherheitskritischen eingebetteten Anwendungen eingesetzt, insbesondere in den Bereichen Luft- und Raumfahrt, Transport, Medizintechnik und Nuklearanlagen.
Astrée is a static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C. Astrée primarily targets embedded applications as found in aeronautics, earth transportation, medical instrumentation, nuclear energy, and space flight.
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 statischer Programmanalyse in het Duits
