Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
l'analyse statique par
analyse statique à l'aide
analyse statique en utilisant
These introduced me to the two fields of computer science on which my thesis focuses: static analysis using abstract interpretation and formal verification with the Coq proof assistant.
Ces stages m'ont fait connaître les deux domaines de l'informatique sur lesquels ma thèse porte : l'analyse statique par interprétation abstraite et la vérification formelle avec l'assistant de preuve Coq.
Our approach is based on static analysis using abstract interpretation.
Notre approche est fondée sur l'analyse statique par interprétation abstraite.
Some customers choose to perform smoke testing by technical staff, static analysis using compatibility tools, and sometimes both.
Certains clients choisissent de demander au personnel technique d'effectuer le test de détection de fumée, de réaliser une analyse statique à l'aide des outils de compatibilité, ou bien les deux.
This analysis cuts the self-modifying binary into several non self-modifying parts that we can examine through a static analysis using the trace as a guide.
Cette analyse découpe le programme auto-modifiant en plusieurs sous-parties non auto-modifiantes que nous pouvons alors étudier par analyse statique en utilisant la trace comme guide.
Android malware frequently tries to bypass static analysis using multiple techniques such as code obfuscation and dynamic code loading.
Les malwares Android tentent souvent d'échapper à l'analyse statique en utilisant des techniques telles que l'obfuscation et le chargement dynamique du code.
The simulation services that INOVSTEP puts at your disposal are based on linear static analysis using CATIA V5 software.
Les services de simulation que INOVSTEP met à votre disposition sont basées sur l'analyse statique linéaire en utilisant le software CATIA V5.
STATIC ANALYSIS USING INTERACTIVE AND INTEGRATION TOOLS
ANALYSE STATIQUE À L'AIDE D'OUTILS INTERACTIFS ET D'INTÉGRATION
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.