Alternativen zum .Net 4 Code Contracts statischen Analysator?

Question

Es scheint, dass der statische Analysator für die Verwendung mit .NET 4.0-Code Verträgen nur für Team Suite-Editionen von Visual Studio verfügbar sein wird -. Dies bringt es auch außerhalb des Haushalts für mein Team

Gibt es Alternativen (Open Source, kostenlos oder preiswert), die für das Design durch Vertrag Artcode ähnliche statische Analyse bietet (nicht unbedingt .net Code Verträge verwenden). Ich vermute, die Antwort wird nicht als Voll wert sein nur kommt, wenn der BCL selbst Verträge hat - aber gibt es, die einen Teil des Weges gehen

Answer 1

Ich bin mir nicht sicher, ob das, was Sie suchen, aber Sie können einen Blick auf Frama- C und seine ACSL Anmerkung Sprache für C.

Im Vergleich zu .NET Verträge, ACSL Verträge nicht ausführbar sind (es unmöglich ist, sie mit der Laufzeit Behauptungen zu überprüfen), sind aber besser geeignet, um die statische Analyse (sie sind ausdrucksstark und ermöglichen eine vollständige Spezifikation und statisch geprüft geschrieben werden. zumindest theoretisch)

Answer 2

Ich bin mit statischer Analyse in VS2010 Premium.