While discussed in the context of Java bytecodes, the instruction is applicable to any programming language and processor architecture.
Bien que remise en cause dans le contexte de pseudo-codes binaires java, l'instruction peut être appliquée à tout langage de programmation et à toute architecture de processeur.
Autres résultats
method to create optimized machine code through combined verification and translation of java bytecode
procédé de création d'un code machine optimisé par vérification et traduction combinées d'un code octet java
We first study a register-based IR of Java bytecode used in compilers and verifiers.
We make use of dynamic instrumentation techniques of Java bytecode to extract information about call sites and object creation sites, and to build the dynamic call graph of the program.
Pour ceci, nous faisons usage de la technique d'instrumentation dynamique du bytecode Java pour extraire l'information sur les sites d'appels, les sites de création d'objets et construire le graphe d'appel dynamique du programme.
We make use of dynamic instrumentation techniques of Java bytecode to extract information about call sites and object creation sites, and to build the dynamic call graph of the program.
Pour ceci, nous faisons usage de la technique d'instrumentation dynamique du bytecode Java pour extraire l'information sur les sites d'appels, les sites de création d'objets et construire le graphe d'appel dynamique du programme.
CLASS files contain a set of JAVA bytecode instructions like "Load and store" or "Object creation and manipulation".
Les fichiers CLASS contiennent un ensemble d'instructions du bytecode Java, par exemple "Charger et Stocker" ou "Créer et Manipuler un Objet".
This technique has been used for the verification of cryptographic protocols (it is part of one of the AVISPA tools) and for the fast prototyping of static analysis of Java bytecode programs.
Cette technique a été expérimentée pour la vérification de protocoles cryptographiques ainsi que pour le prototypage rapide d'analyses statiques de programmes Java byte code.
method of transforming java bytecode into a directly interpretable compressed format
procédé de transformation d'un code objet java en un format comprimé directement interprétable
method for fast compilation of preverified java bytecode to high quality native machine code
procédé de compilation rapide de code octal java en un code machine natif de haute qualité
We propose to strengthen the comparison mechanism at runtime by the use of an execution model, derived from a static analysis of the java bytecode.
Nous proposons de renforcer le mécanisme de comparaison à l'exécution par l'utilisation d'un modèle d'exécution issu d'une analyse statique du bytecode Java.
A Java data stream of the enhanced Java bytecode representation is used to store the data parameters associated with the Java commands in the code stream.
Un train de données Java de la représentation du code octet Java amélioré est utilisé pour stocker les paramètres de données associés aux commandes Java dans le train de codes.
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.