верификация - это важно

MoonWalker - опенсорсный верификатор кода .NET

Он написан для Mono и под виндой хотя и собрался, но работать не хочет. Массив потока инструкций для EntryPoint любого дотнетовского exe-образа у него почему-то возвращает null. В выходные буду тщательно копать. Если придется ваять тот прожект с three-tier и кластером в качестве сервера, то надежность кода для серверной части должна быть по меньшей мере гарантирована соответствием спецификации конечного автомата.

Тут у меня 2 подозрения:

1) Хоть я и поставил последний Mono, но System.Core.dll Visual Studio судя по всему подставляет свою (т.е. из виндового .NET 4.0) и есть некоторое расхождение в десериализации потока инструкций из Mono.CIL

2) В винде Mono в принципе неадекватно распаковывает поток инструкций у сборок, которые собраны виндовым .NET-компилятором