Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
static analyzer
Vertaling van "static analyzer" in Duits
statischer Analysator
Static Analyzer
Astrée is a sound static analyzer designed to prove the absence of runtime errors and further critical program defects.
Astrée ist ein sicherer statischer Analysator zum Nachweis der Abwesenheit von Laufzeitfehlern und weiterer kritischer Programmfehler.
For this purpose a static analyzer has been developed, which locates the respective definitions and uses of each variable in the data flow graph (and all the DU-paths between those pairs).
Zu diesem Zweck wurde ein statischer Analysator realisiert, welcher darüber hinaus auch die jeweiligen Definitionen und Benutzungen (sowie alle sie verbindenden DU-Teilpfade) jeder Variablen im datenflussannotierten Kontrollflussgraphen lokalisiert.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
RuleChecker ist ein statischer Analysator zur Prüfung von Codierrichtlinien und zur Berchnung von Codemtriken für sicherheitskritische C-Programme.
Julia is an extremely efficient static analyzer for Java, Android and.NET.
Julia ist ein äußerst effizienter statischer Analysator für Java, Android und.NET.
Automated static analyzer for standard compliance
Automatisiertes statisches Analysetool für Einhaltung von Standards
Astrée is a sound static analyzer of C source code. Its primary purpose is proving the absence of runtime errors.
Astrée ist ein Werkzeug zur statischen Analyse von C-Quellcode, bei der das Hauptaugenmerk darauf liegt, Laufzeitfehler aufzudecken bzw. deren Abwesenheit zu beweisen.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
Hallenplan Understand von SciTools ist ein statisches Analysewerkzeug zum Beibehalten, Messen und Visualisieren von Code-Basen.
Julia is a next generation static analyzer, particularly accurate in identifying security vulnerabilities in Java, .NET and Android applications.
Als "Next Generation Static Analyzer" ist Julia bei der Erkennung von Sicherheitslücken in Java-, .NET- und Android-Anwendungen besonders zuverlässig.
RuleChecker can be coupled with the sound static analyzer Astrée to guarantee zero false negatives and minimal false positives on semantical rules.
RuleChecker kann mit dem sicheren statischen Analysator Astrée gekoppelt werden, um unerkannte Fehler auszuschließen und Fehlalarme bzgl. semantischer Regeln zu minimieren.
This is compatible with the version of SARIF exported by the Clang Static Analyzer.
Diese Version ist kompatibel mit der vom Clang Static Analyzer verwendeten Version.
JuliaSoft, with its Julia Static Analyzer tool offer semantic static analysis of enterprise software in Java and C#.
JuliaSoft bietet mit dem Julia Static Analyzer ein Werkzeug für die semantische statische Analyse von Enterprise-Software in Java und C# an.
Julia Static Analyzer is best in class for finding defects and security vulnerabilies in C#, .NET, Java and Android applications.
Julia Static Analyzer ist das führende Statische Code Analyse Werkzeug zum Aufdecken von Fehlern und Sicherheitslücken in C#-, Java-, .NET- und Android-Anwendungen.
The integration of the Julia Static Analyzer into GrammaTech CodeSonar provides a complete and integrated solution for improving the quality of these "Embedded software", hardware and enterprise programming domains.
Durch die Integration des Julia Static Analyzers in GrammaTech CodeSonar werden die bisher unterschiedlichen Software-Welten "embedded Software" mit ihrer hardwarenahen Programmierung und die Enterprise-Programmierung aus Sicht des Software-Tests zusammengebracht.
Synoniemen voor static analyzer in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 16. Exact: 16. Verstreken tijd: 31 ms.
