Examples with "Java Bytecode verifier" and their translation in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.