The bytecode verifier is an important part of Java's security architecture.
Der Bytecode Verifier ist ein essentieller Bestandteil der Sicherheitsarchiktektur der Programmierplattform Java.
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.
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.
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.
A program that interprets and executes Java bytecode independently of a Web browser.
Ein Programm, das Java-Bytecode unabhängig von einem Web-Browser interpretiert und ausführt.
The Cacao VM is a virtual machine for Java bytecode.
Die Cacao VM ist eine virtuelle Maschine für Java Bytecode.
Apparatus as claimed in any one of the preceding claims, wherein said first instruction set comprises Java bytecode instructions.
Vorrichtung nach einem der vorstehenden Ansprüche, wobei der erste Befehlssatz Java-Bytecode-Anweisungen aufweist.
Soot is one of the most widely used analysis and transformation frameworks for Java bytecode and source code.
Soot ist eines der meistgenutzten Analyse- und Transformations-Frameworks für Java Bytecode und Sourcecode.
Java bytecode is the instruction set of the Java virtual machine.
This.jar file contains all Java bytecode, the firmware, the bitstream and the OS dependent libraries.
Diese JAR-Datei enthält den kompletten Java-Bytecode der Firmware, den Bitstrom und einige Betriebssystem abhängige Bibliotheken.
yGuard yGuard is a free Java bytecode obfuscator and shrinker.
yGuard yGuard ist ein kostenloser Java Bytecode Obfuskator und Shrinker.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.