Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
bytecode verifier
Examples with "bytecode verifier" and their translation in German
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.
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.
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.
Other results
Before compiling a component to native code and executing it, this component verifier is invoked to check several constraints on the bytecode.
Synonyms and analogies of "bytecode verifier" in English
Word & Expression of the day
Image of the day
Results: 5. Exact: 4. Elapsed time: 38 ms.
