Библиотека константного распространения для .NET.

Question

Существует ли библиотека .NET (C#/F #) с открытым исходным кодом для абстрактного статического анализа? В настоящее время меня интересует постоянный алгоритм распространения.

Он должен быть абстрактным (язык без изменений) и открытым исходным кодом, потому что я хочу использовать его в качестве основы для реализации пользовательского алгоритма.

Спасибо.

Answer 1

Библиотека Mono.Cecil - это почти то, что вы хотите. Он открыт с открытым исходным кодом, реферативный язык и в качестве бонуса суперполируется, быстро и стабильно.

Но это не совсем то, что вы хотите, потому что Сесил не анализирует исходный код C#, VB.NET или F #, но анализирует файлы сборок (dll и exe) и код IL, содержащийся в сборках. Для многих областей статического анализа это было бы достаточно, но для постоянного распространения (я думаю, вы имеете в виду литеральную константу, такую ​​как const string STR = "MyString"; или const int INT = 12345;), во время компиляции происходит потеря информации, поскольку постоянное значение жестко задано вместо постоянного использования. Cecil также не подходит для анализа Abstract Syntax Tree.

Вы также можете посмотреть Microsoft Roslyn. В отличие от Cecil, Roslyn анализирует исходный код C# и VB.NET, очень хорошо подходит для анализа Abstract Syntax Tree, но он не является открытым исходным кодом, не поддерживает F # и, безусловно, может изменяться до тех пор, пока он не станет RTM, я бы скажем, в следующем году с Visual Studio 2014 (но это только моя догадка).

Answer 2

Вы должны взглянуть на инфраструктуру Common Compiler Infrastructure: Code и AST project. Он предоставляет объектную модель для статического анализа в сборках .NET в независимой от языка форме.

Update

ТПП проекты разработаны более как библиотеки для компилятора и инструментальных авторов, а не из-из-коробки использования.

Возможно, вы ищете что-то более похожее на Mono.Gendarme, которое является механизмом статического анализа с открытым исходным кодом, аналогичным FxCop. Он поддерживается как часть коллекции проектов Mono-Tools.