.NET 4 코드 계약 정적 분석기에 대한 대안이 있습니까?

Question

.NET 4.0 코드 계약과 함께 사용하기위한 정적 분석기는 Visual Studio의 Team Suite Edition에서만 사용할 수있을 것 같습니다.

계약 스타일 코드 (.NET 코드 계약을 반드시 사용하는 것은 아님)별로 디자인에 대한 유사한 정적 분석을 제공하는 대안 (오픈 소스, 무료 또는 합리적인 가격)이 있습니까? BCL 자체에 계약이있을 때만 완전한 가치가 올 때 대답이 없을 것이라고 생각합니다. 그러나 어떤 부분이 있습니까?

Answer 1

그것이 당신이 찾고있는 것인지 확실하지 않지만 당신은 Frama-C그리고 그것 ACSL C에 대한 주석 언어

.NET 계약과 비교할 때 ACSL 계약은 실행 가능하지 않지만 (런타임 어설 션으로 확인하는 것은 불가능) 정적 분석에 더 적합합니다 (더 표현력이 있으며 전체 사양을 작성하고 정적으로 점검 할 수 있습니다. 적어도 이론적으로. )

Answer 2

VS2010 프리미엄에서 정적 분석을 사용하고 있습니다.