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.
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 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
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.
Cette technologie peut alors être utilisée pour des technologies embarquées où le java byte-code est téléchargé depuis un serveur web intégré dans l'application.
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.
java bytecode instruction for retrieving string representations of java objects
instruction de code objet java permettant d'extraire des représentations en chaînes d'objets java
Using Java bytecode (compiled version of Java code)
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".
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.