Examples with "a source code 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.
This way, you can check that the application compiles correctly and automatically trigger a source code analysis to identify new defects ASAP.
De cette manière, vous pouvez vérifier que la version compile correctement et déclencher automatiquement une analyse du code source afin de repérer au plus tôt tout nouveau défaut.
I remember an English manager to whom I explained that I met developers who did not want to use a source code analysis software, despite all the incentives and the efforts of their hierarchy.
Je me souviens d'un manager anglais auquel j'expliquais que j'avais rencontré des développeurs qui ne souhaitaient pas utiliser un logiciel d'analyse de code, malgré toutes les incitations et les efforts de leur hiérarchie.
Frama-C is a source code analysis platform that leverages approaches such as abstract interpretation, deductive verification, and constraint solving whose common characteristic is to rely on formal methods that ensure their results are rigorously correct.
Frama-C est une plateforme d'analyse de codes sources. Elle met en œuvre des techniques d'interprétation abstraite, de vérification déductive, de slicing et d'analyse dynamique dont la caractéristique commune est de reposer sur des méthodes formelles qui assurent que leurs résultats sont rigoureusement corrects.
Andere resultaten
Note that C4droid chooses app mode using a very simple source code analysis
Using a combination of automated source code analysis and manual reviews, we identify design flaws and implementation bugs hidden deep in the code base.
Nous identifions les failles de conception et les bugs d'implémentation dissimulés au plus profond de la base de code, grâce à une combinaison d'examens manuels et d'analyses automatisées du code source.
EU-researchers have developed a set of source code analysis tools capable of verifying the security properties of applications written in C, C++ and Java. Shutterstock
Des chercheurs de l'UE ont développé un ensemble d'outils d'analyse du code source capables de vérifier les propriétés de sécurité d'applications écrites en C, C++ et Java.
SonarQube is an open-source-platform for source code analysis.
These web applications have previously been used as targets for both source code analysis and vulnerability testing.
Ces applications en ligne avaient été utilisées auparavant en tant que cibles pour l'analyse de codes sources et de tests de vulnérabilités.
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.