Есть какие-либо альтернативы статическому анализатору контрактов кода .Net 4?

Question

Похоже, что статический анализатор для использования с контрактами на код .NET 4.0 будет доступен только для выпусков Team Suite Visual Studio - это значительно превышает бюджет моей команды.

Существуют ли какие-либо альтернативы (с открытым исходным кодом, бесплатные или по разумной цене), которые предлагают аналогичный статический анализ для разработки кода в стиле контракта (не обязательно с использованием контрактов .net code).Я предполагаю, что ответ будет отрицательным, поскольку полная стоимость появляется только тогда, когда у самого BCL есть контракты - но есть ли какие-либо, которые проходят часть пути?

Answer 1

Я не уверен, что это то, что вы ищете, но вы можете взглянуть на Frama-С и его ACSL язык аннотаций для C.

По сравнению с .ЧИСТЫЕ контракты, контракты ACSL не являются исполняемыми (их невозможно проверить с помощью утверждений во время выполнения), но лучше подходят для статического анализа (они более выразительны и позволяют записать полную спецификацию и статически проверить.По крайней мере, теоретически)

Answer 2

Я использую статический анализ в VS2010 Premium.