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.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.