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.
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.
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.
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.
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.
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.
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.
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.
To make it possible that this software can be tested as well, Verifysoft and Grammatech formed a partnership with JuliaSoft. The Julia Static Analyzer tool offers semantic static analysis of enterprise software in Java and C#.
Um auch diese Software auf ihre Qualität prüfen zu können, steht unsern Kunden neben GrammaTech CodeSonar mit dem Julia Static Analyzer jetzt auch ein Werkzeug für die semantische statische Analyse von Enterprise-Software in Java und C# zur Verfügung.
Verifysoft cooperates with JuliaSoft for Support and Sales of Julia Static Analyzer for Java, Android and.Net Code
Verifysoft kooperiert mit Juliasoft für den Support und Vertrieb des Julia Static Analyzers für Java, Android und.Net
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.
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.
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.