【发布时间】：2012-11-27 20:16:19
【问题描述】：
我正在寻找用于对 CIL 代码进行自定义静态代码分析的 库。阅读：我对像here 那样已经进行静态分析的工具不感兴趣。
对于使用 Java 字节码的自定义分析，我使用了 ASM，我喜欢它提供的功能和良好的文档。 快速谷歌搜索“CIL 静态分析库”并没有产生任何似乎提供 ASM 功能的东西。
【问题讨论】：
标签： static-analysis cil java-bytecode-asm cci
【发布时间】：2012-11-27 20:16:19
【问题描述】：
Mono.Cecil 是可用的 CIL 分析的最佳库。它是免费的、开源的、完整的、轻量级的、健壮的和快速的。除了读CIL，它还可以写CIL。它还支持 PDB 文件。
许多静态分析工具多年来一直依赖 Cecil。
【讨论】：
-
谢谢，我会进一步调查这个塞西尔。
-
酷，反正你找不到更好的了。我是依赖 Cecil 5 年的静态分析器 NDepend 的首席开发人员，我可以说 Cecil 的作者（来自 SyntaxTree syntaxtree.com 的 Jb Evain）做得很好，提供了很棒的支持！
看看反射器：www.reflector.net/
【讨论】：
-
这看起来更像是一个内部使用静态分析的工具，而不是像 ASM 那样启用静态分析的库。
我发现最接近的是微软的FxCop 实用程序。 （独立下载链接here，1.36好像没了，不过有人re-uploaded it to their Dropbox on another SO question）
它肯定与 C/C++ 静态分析工具完全不同，但话又说回来，C# 是一种托管语言，静态分析工具无法检查出许多常见错误。
另外，还有一个short list on Wikipedia of static analysis tools for .NET，可能值得一看。
【讨论】：
-
我正在寻找一个库，让我作为程序员能够为 CIL 编写自定义静态分析，这似乎是一个 工具使用静态分析查找错误等。