Examples with "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.
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 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.
Die Formalisierung liefert zwei ausführbare verifizierte Bytecode Verifier: den iterativen Standard-Algorithmus sowie einen Lightweight Bytecode Verifier für Geräte mit eingeschränkten Ressourcen.
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.
Andere resultaten
Before compiling a component to native code and executing it, this component verifier is invoked to check several constraints on the bytecode.
Dieser Verifier wird vor der Übersetzung einer Komponente nach Maschinensprache aufgerufen, um den Bytecode zu analysieren und verschiedene Anforderungen zu verifizieren.
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.