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.
Outros resultados
And the same Java bytecode program can be run on any computer that has such an interpreter.
Premièrement, le même programme Java peut tourner (fonctionner) sur différents ordinateurs, tels que PC, Apple et autres, sans modification.
You can study Java bytecode as you use this program.
Source programs are compiled to Java bytecode, and can therefore interact with libraries written in Java and other programming languages targeting the Java Virtual Machine.
Les programmes sources sont compilés en bytecode Java et peuvent donc interagir avec des bibliothèques écrites en Java.
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.
In Java, a set of software programs that enable the execution of instructions - usually written in Java bytecode.
unhandled operation of a program instruction of a first instruction set, such as a java bytecode, is detected
on détecte le fonctionnement d'une instruction de programme non prise en charge et faisant partie d'un premier ensemble d'instructions tel qu'un codoctet de java
The book includes an introduction to JPython, which allows you to combine Java and Python in a single program (the JPython interpreter is compiled to pure Java bytecodes, so there is nothing special you need to add to accomplish this).
Le livre inclut une introduction à JPython, qui permet de combiner Java et Python dans un unique programme (l'interpréteur JPython est compilé en pur bytecode Java, il n'y a donc rien de spécial à ajouter pour réaliser cela).
Thanks to Java bytecodes we can "write once and execute always".
Grâce au Bytecode Java, on peut "écrire une fois et exécuter toujours".
SofCheck Inspector is a static analysis tool that discovers errors in Java bytecodes.
Inspecteur SofCheck est un outil d'analyse statique qui découvre des erreurs dans bytecode Java.
It is compiled into Java bytecode.
Il est en fait compilé en bytecode Java.
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
In case they also refuse to run, stick to the java bytecode packages.
Au cas où ils refusent également de fonctionner, coller aux packages Java bytecode.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.