Cualquier alternativa a los contratos .Net 4 Código analizador estático?

Question

Parece que el analizador estático para su uso con los contratos de código .NET 4.0 es sólo va a estar disponible para las ediciones de Team Suite Visual Studio -. Esto lo sitúa bien fuera del presupuesto para mi equipo

¿Hay alguna alternativa (de código abierto, gratis o de precio razonable) que ofrecen análisis estático similar para el diseño de código de estilo contrato (no necesariamente el uso de contratos de código .NET). Supongo que la respuesta no será como el valor completo solamente viene cuando el BCL en sí tiene contratos? -, pero ¿hay alguna que van parte de la forma

Answer 1

No estoy seguro de si eso es lo que busca, pero es posible echar un vistazo a Frama- C y su ACSL lenguaje de anotación para C.

En comparación con los contratos de .NET, contratos ACSL no son ejecutables (que es imposible de comprobar con afirmaciones en tiempo de ejecución), pero son más adecuados para el análisis estático (que son más expresivos y permiten una especificación completa para ser escrito y de forma estática marcada. al menos en teoría)

Answer 2

Estoy utilizando el análisis estático en VS2010 Premium.