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.
We first study a register-based IR of Java bytecode used in compilers and verifiers.
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.
Other results
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.
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.
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.