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.
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 bytecode verifier is an important part of Java's security architecture.
Der Bytecode Verifier ist ein essentieller Bestandteil der Sicherheitsarchiktektur der Programmierplattform Java.
Java bytecode is the instruction set of the Java virtual machine.
The Java HotSpot server compiler of Sun Microsystems uses intermediate graph data structures when compiling Java bytecodes to machine code.
Der Java HotSpot Server Compiler von Sun Microsystems benutzt Graphen als temporäre Datenstrukturen beim Kompilieren von Java Bytecodes zu Maschinencode.
Clojure compiles to Java bytecode, runs on the Java virtual machine and integrates seamlessly with Java components.
Clojure wird zu Java Bytecode kompiliert, läuft auf der Java Virtual Machine und lässt sich reibungslos mit bestehenden Java-Komponenten kombinieren.
This is the Java bytecode file. If you have a Java-enabled browser, you can test this applet.
This technology can e.g be used for embedded technologies where the Java-Bytecode is downloaded from a webserver which is integrated in the application.
Diese Technologie kann z.B. im Embedded Bereich genutzt werden. Der Java-Bytecode wird auf Anforderung über einen Webserver an die Clients (Browser) geschickt, die die Anwendung auf dem Host ausführen.
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.
Based on the virtual machine architecture defined by the Java bytecode, a total of six FUs have been developed for the Java processor, namely a frame stack, a heap manager, a thread scheduler, a debugger, an integer ALU and a floating-point unit.
Für den Instruktionssatz, welcher durch den Java-Bytecode definiert ist, sind insgesamt sechs FUs mit bestimmten Funktionalitäten für den Java Prozessor entwickelt worden. Diese umfassen einen Frame Stack, einen Heap Manager, einen Thread Scheduler, einen Debugger, eine Integer-ALU und eine Floating-Point Unit.
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.