Eventuali alternative alla analizzatore statico Contratti .Net 4 codice?

Question

Sembra che l'analizzatore statico per l'uso con i Contratti di codice .NET 4.0 è solo andare a essere disponibile per il Team Suite edizioni di Visual Studio -. Questo lo pone ben al di fuori del budget per la mia squadra

Esistono alternative (open source, liberi o prezzi ragionevoli) che offrono l'analisi statica simile per design di codice di stile del contratto (non necessariamente l'utilizzo di contratti NET). Sto indovinando la risposta sarà no come la piena pena arriva solo quando il BCL stessa ha contratti? - ma ci sono tutte quelle che vanno parte del modo

Answer 1

Non sono sicuro se questo è quello che stai cercando, ma si può avere uno sguardo a Frama- C e la sua ACSL linguaggio di annotazione per C.

Rispetto ai contratti NET, contratti ACSL non sono eseguibili (è impossibile controllarli con le asserzioni di run-time), ma sono più adatti per l'analisi statica (sono più espressivi e permettono una specifica completa da scrivere e staticamente verificato. almeno in teoria)

Answer 2

Sto usando l'analisi statica in VS2010 Premium.