Toute solution de rechange .Net 4 Code des marchés analyseur statique?

Question

Il semble que l'analyseur statique pour une utilisation avec le code .NET 4.0 contrats ne va être disponible pour les éditions Team Suite de Visual Studio -. Ce qui met bien en dehors du budget pour mon équipe

Y a-t-il des alternatives (open source, gratuit ou à un prix raisonnable) qui offrent une analyse statique similaire pour la conception par le code de style du contrat (pas nécessairement recours à des contrats de code .net). Je devine que la réponse ne sera pas que la pleine valeur ne vient que lorsque la BCL lui-même a des contrats - mais y at-il qui vont une partie du chemin

Answer 1

Je ne sais pas si c'est ce que vous cherchez, mais vous pouvez jeter un oeil à Frama- C et son ACSL langue d'annotation C.

Par rapport aux contrats .NET, les contrats ACSL ne sont pas exécutables (il est impossible de les vérifier avec les assertions d'exécution) mais sont mieux adaptés à l'analyse statique (ils sont plus expressifs et permettent une spécification complète à écrire et statiquement vérifié. au moins théoriquement)

Answer 2

J'utilise l'analyse statique dans VS2010 premium.