Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
program analysis for Java
Examples with "program analysis for Java" and their translation in German
Description: TamiFlex is a solution to the dreaded "reflection problem" in static program analysis for Java.
Beschreibung: TamiFlex ist eine Best-Effort Lösung für das „Reflektionsproblem" in statischer Programmanalyse in Java.
Other results
Description: Soot is a program analysis and transformation framework for Java, developed at the Sable Research Group of McGill University, but with contributions by other researchers from all over the world.
Entwickelt wurde es von der Sable Research Group of McGill University, Kanada, mit Beiträgen anderer Forscher weltweit.
Based on the insight gained so far for Java, the tool will be extended by a static and dynamic analysis for C#-programs.
Aufbauend auf den bisherigen Erkenntnissen für Java wird das bestehende Werkzeug um eine statische und eine dynamische Analyse für C#-Programme ergänzt.
To this purpose, SYMBIOSIS investigates the concept of symbolic program analysis for networked systems.
SYMBIOSYS wird hierfür das Konzept der symbolischen Programmanalyse erstmals für vernetzte Systeme erforschen.
The scientists develop scalable program analysis for JavaScript-based software, which are to uncover and find vulnerabilities.
Die Wissenschaftler entwickeln skalierbare Programmanalysen für JavaScript-basierte Software, welche Schwachstellen finden und aufdecken sollen.
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.
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.
The methods presented in this thesis particularly focus on the delayed variability principle that allows performing configuration-aware program analysis for software systems using load-time configuration options.
Die vorgestellten Methoden verwenden das Delayed Variability Analyseprinzip um Programmanalyse unter der Berücksichtigung von Konfiguration durchzuführen, wobei speziell auf Konfigurationsoptionen die beim Programmstart geladen werden, abgezielt wird.
"ThreadSafe: Static Analysis for Java Concurrency".
ThreadSafe Statisches Analysewerkzeug für Java mit Fokus auf Concurrencyfehlern.
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?
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?
Continuous program analysis for the Swiss Federal Office of Communications (BAKOM) (since 2009)
Kontinuierliche Programmanalyse für das Bundesamt für Kommunikation der Schweiz (BAKOM) (seit 2009)
The method according to Claim 8, further including: (M) performing at least one of: inter-procedural program analysis and optimization of a Java sealed package using information on calls whose targets are all guaranteed to belong to said package.
Verfahren nach Anspruch 8, das des Weiteren Folgendes beinhaltet: (M) Durchführen von mindestens einem von Folgendem: Programmanalyse zwischen Prozeduren und Optimierung eines versiegelten Java-Pakets unter Verwendung von Informationen über Aufrufe, bei deren Zielen gewährleistet ist, dass sie alle zu dem Paket gehören.
The chair for "Programming Paradigms" (Professor Snelting) deals with compiler construction, program analysis, software security testing and verification and has developed JOANA, the currently only tool for information flow control that is able to precisely treat full Java with threads.
Der „Lehrstuhl Programmierparadigmen" (Professor Snelting) befasst sich mit Compilerbau, Programmanalyse, Software-Sicherheitsprüfung und entwickelte JOANA, das z. Zt. einzige Werkzeug zur Information FLow Control, das volles Java mit Threads präzise behandeln kann.
He will fault the analysis for being too simplistic and vague.
Er wird die Analyse als zu vereinfacht und vage beanstanden.
Word & Expression of the day
Image of the day
Results: 7901. Exact: 1. Elapsed time: 248 ms.
