Télécharger pour Windows Premium
Inscription Se connecter avec Google Se connecter avec Apple
Reverso Premium
Publicité
bytecode verifier

Exemples avec "bytecode verifier" et leurs traductions en allemand

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
bytecode
Bytecode Byte-Code Zwischencode
verifier
Prüfstelle Umweltgutachter Verifizierer Prüfer Gutachter
The bytecode verifier is an important part of Java's security architecture.
Der Bytecode Verifier ist ein essentieller Bestandteil der Sicherheitsarchiktektur der Programmierplattform Java.
The aim of this thesis was to develop a Java Bytecode verifier for the JX Java operating system.
Ziel dieser Arbeit war die Entwicklung eines Bytecode-Verifiers für das Java-Betriebssystem JX.
Javasoft has issued Security Bulletin 109 concerning problems with the Java Bytecode verifier initialization.
Javasoft hat im Security Bulletin 109 Probleme mit der Initialisierung des Java Bytecode-Verifiers beschrieben.
A vulnerability in the Java Runtime Environment (JRE) Bytecode Verifier may be exploited by an untrusted applet to escalate privileges.
Eine Lücke im Java Runtime Environment (JRE) Bytecode Verifier kann dafür sorgen, dass auch ein nicht als vertrauenswürdig gekennzeichnetes Applet erweiterte Rechte erhalten kann.
The instantiation yields two executable verified bytecode verifiers: the iterative data flow algorithm of the standard Java platform and also a lightweight bytecode verifier for resource-constrained devices such as smart cards.
Die Formalisierung liefert zwei ausführbare verifizierte Bytecode Verifier: den iterativen Standard-Algorithmus sowie einen Lightweight Bytecode Verifier für Geräte mit eingeschränkten Ressourcen.
This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.
Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.

Autres résultats

Before compiling a component to native code and executing it, this component verifier is invoked to check several constraints on the bytecode.
Dieser Verifier wird vor der Übersetzung einer Komponente nach Maschinensprache aufgerufen, um den Bytecode zu analysieren und verschiedene Anforderungen zu verifizieren.
Aucun résultat pour cette recherche.

Synonymes et analogies de "bytecode verifier" en anglais

Le mot et l’expression du jour
L’image du jour
overalls: loose pants with a bib and straps
Découvrir le mot
overalls
Publicité

Résultats: 7. Exacts: 6. Temps écoulé: 44 ms.