Inspecteur SofCheck est un outil d'analyse statique qui découvre des erreurs dans bytecode Java.
SofCheck Inspector is a static analysis tool that discovers errors in Java bytecodes.
Autres résultats
Jazelle DBX (Direct Bytecode eXecution) est une technique permettant d'exécuter directement du Bytecode Java dans les architectures ARM comme un troisième état d'exécution (et jeu d'exécution), en parallèle à l'ARM existant et au mode Thumb.
Jazelle DBX (Direct Bytecode eXecution) is a technique that allows Java Bytecode to be executed directly in the ARM architecture as a third execution state (and instruction set) alongside the existing ARM and Thumb-mode.
Grâce au Bytecode Java, on peut "écrire une fois et exécuter toujours".
Thanks to Java bytecodes we can "write once and execute always".
Python est interprété, même s'il existe des versions compilées en C ou en bytecode Java.
Python is interpreted, even if there are compiled versions in C or Java bytecode.
Le bytecode Java de Commonist est exécuté par le JRE sur votre système d'exploitation.
Commonist Java Byte Code is executed by the JRE on your operating system.
Nous étudions d'abord une IR basée registre du bytecode Java.
We first study a register-based IR of Java bytecode used in compilers and verifiers.
Le compilateur Scriptol produit un exécutable binaire, facile à installer, au contraire des classes en bytecode Java.
The Scriptol compiler produces a binary executable, easy to install, unlike Java classes in bytecode...
Il s'agit d'un Interprète/compilateur hybride qui compile partiellement le code source de l'utilisateur en bytecode Java.
At its core is a hybrid interpreter/compiler that partially compiles user code to JVM bytecode.
Parfois, il peut être utile de pouvoir lire le bytecode Java, autrement dit, avoir une version lisible des fichiers class qui ont été générés lors de la compilation.
Sometimes, it can be useful to read the Java bytecode, i.e. have a readable version of the class files generated during the compilation.
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.
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.
Les programmes sources sont compilés en bytecode Java et peuvent donc interagir avec des bibliothèques écrites en Java.
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.
Cette sécurité signifie, par exemple, que vous ne pourrez pas transformer un entier Java en une référence à un objet ou accéder à de la mémoire privée en corrompant le bytecode Java.
Type safety means, for instance, that you can't cast a Java integer into an object reference or access private memory by corrupting Java bytecodes.
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.
