2
Quelqu'un pourrait-il me dire quelle nouvelle analyse d'outils dynamiques pour le code C est là comme valdgrind?nouvelle analyse des outils dynamiques pour le code C
A
Répondre
2
Jetez un coup d'œil à Fenris. Peut-être pas un remplacement valgrind, mais toujours très cool :) En fait, presque tous les outils Michal Zalewski crée sont vraiment .... créatifs (désolé).
2
Frama-C est pas une analyse dynamique. Je ne suis pas attelle est, non plus. –
"Splint est un outil de vérification statique des programmes C pour les failles de sécurité et les erreurs de codage." – eaanon01
"Les analyseurs statiques Frama-C vous assistent dans diverses activités liées au code source, de la navigation à travers des projets non familiers jusqu'à la certification de logiciels critiques." – eaanon01