Quaisquer alternativas para o Código 4 .Net Contratos análise estática?

Question

Parece que o analisador estático para uso com os contratos de código .NET 4.0 só vai estar disponível para as edições Team Suite de Visual Studio -. Isso coloca-lo bem fora do orçamento para a minha equipe

Existem alternativas (open source, gratuitos ou a preços razoáveis) que oferecem análise estática semelhante para o projeto por código de estilo contrato (não necessariamente através de contratos de código .net). Eu estou supondo que a resposta será não como o pleno valor só vem quando o próprio BCL tem contratos - mas há algum que ir parte do caminho

Answer 1

Eu não tenho certeza se é isso que você está procurando, mas você pode ter um olhar para Frama- C e sua ACSL anotação idioma para C.

Em comparação com contratos .NET, contratos ACSL não são executáveis ??(que é impossível vê-los com afirmações run-time), mas são mais adequados para a análise estática (eles são mais expressivas e permitir uma especificação completa para ser escrito e estaticamente verificado. pelo menos teoricamente)

Answer 2

Eu estou usando análise estática no VS2010 Premium.