Examples with "Bytecode analysis" and their translation in Frans
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.
Our work on Bytecode analysis leads us to propose a dedicated language for the representation and manipulation of program flow graphs.
Nos travaux sur l'analyse de Bytecode nous ont ensuite conduit à réfléchir à la représentation et la manipulation de graphes de flot de programmes et nous avons alors proposé des constructions de langage inspirées de la réécriture de termes-graphes.
English and Italian. A Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object file loader.
A Java mise en œuvre de la machine virtuelle qui convertit les fichiers de classe dans les fichiers source C en utilisant le cadre d'analyse de bytecode Java Suie, les compile avec GCC, et les charge en utilisant un haut-ELF fichier objet chargeur.
This formalism enables the certification of the Tom compiler. Our work on Bytecode analysis leads us to propose a dedicated language for the representation and manipulation of program flow graphs.
Nos travaux sur l-analyse de Bytecode nous ont ensuite conduit à réfléchir à la représentation et la manipulation de graphes de flot de programmes et nous avons alors proposé des constructions de langage inspirées de la réécriture de termes-graphes.
Andere resultaten
The dis module supports the analysis of CPython bytecode by disassembling it.
La bibliothèque dis supporte l'analyse du bytecode CPython en le désassemblant.
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.
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.
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.
Everyone wishing to automate malware analysis is faced with several daunting challenges, the first one being code obfuscation. "Malware developers go to great lengths to hide their malicious payload hither and thither within the bytecode."
Quiconque souhaite automatiser l'analyse de malwares se heurte cependant à plusieurs défis de taille. Premier d'entre eux : l'obfuscation. "Les développeurs vont très loin pour dissimuler leur logiciel malveillant ici ou là dans le code."
CBAC and WCA are based on static analysis of the component Bytecode to enable automated verification of components even when the source code is not
CBAC et WCA utilisent l'analyse statique du Bytecode pour automatiser la validation des composants lors de leur installation Consulter en bibliothèque Accéder en ligne
Its analysis can be done at various levels: source code, class (by reflection API), bytecode...
Son analyse peut se faire à différents niveaux : code source, classe (par l'API réflection), bytecode...
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.