static-code-analysis

1熱度

1回答

有沒有人用純C代碼使用cccc？我試過了，它似乎將所有文件作爲一個模塊處理，這意味着大部分計數器都是無用的（例如，由於只有一個模塊，因此沒有扇入或扇出）。我能以某種方式告訴它在逐個文件的基礎上進行這種比較（即每個文件是一個模塊）嗎？

0熱度

1回答

jslint中有很多選項，例如adsafe，fragment等等。設置{adsafe：true}表示讓jslint根據adafe的規則驗證代碼。在這裏我有同樣的需求，我想在jslint中添加自己的規則，但不知道如何爲jslint執行此操作。此外，如何一次性將JsLint驗證程序的所有規則導入Aptana 2.0，以及如何根據嚴重性將這些規則分類。

11熱度

3回答

代碼合同是否未能發現Nullable <T> .HasValue和null之間的明顯關係？

我正在嘗試將代碼合同應用於我的代碼，並遇到了令人困惑的問題。此代碼不能滿足合同，但除非我是真的很厚我希望它能夠很容易地分析該id必須有一個價值迴歸時 if (id == null) throw new InvalidOperationException(string.Format("{0} '{1}' does not yet have an identity", typeof(T).

16熱度

2回答

如何下載並安裝lint？

有誰知道如何獲得Mac，Windows和Linux的皮棉？ sudo port install lint找不到它。

2熱度

1回答

憲兵不安全的代碼檢測

任何熟悉憲兵隊的人都知道是否可以創建檢測C＃不安全代碼的規則？

10熱度

2回答

使用MSBuild禁用某些項目的代碼分析

我繼承了使用MSBuild腳本編譯多個解決方案的解決方案文件。大多數項目都配置了分析和規則集，而我有一些單元測試項目沒有。與分析項目開啓： <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|x86' "> <DebugSymbols>true</DebugSymbols> <DebugTyp

4熱度

2回答

靜態調用圖分析解碼有哪些問題？

希望在程序中使用靜態調用圖分析可以找到什麼問題？ FxCop使用靜態調用圖分析，它使用這種技術發現了哪些問題？ http://msdn.microsoft.com/library/bb429476.aspx http://en.wikipedia.org/wiki/Callgraph 道歉我缺乏的知識，我發現通過谷歌的一些信息，但擔心它是不完整極大。謝謝！

4熱度

3回答

通過爲Resharper創建插件來靜態分析C＃代碼來查找設計模式？

我想通過靜態分析驗證C＃代碼中的一些設計模式。我發現通過爲Resharper創建插件，我可以在編碼時即時驗證模式。但是我沒有找到與其開放式API相關的良好文檔。有什麼鏈接可以找到合適的文檔。我正在使用MVVM模式，所以我想驗證View-Model類沒有任何依賴關係與UI類或元素（WPF元素）。

10熱度

2回答

我要尋找一個遞歸分析工具

我這個週末在其中方法1調用方法2，它調用的方法3，它捕獲的異常碰到一個問題，和異常處理方法內1再次呼籲...... M1 - > M2 - > M3 - > M1 .... 一旦問題發生，問題就變得很明顯，而且很容易解決。有誰知道在.NET應用程序中檢測這樣的問題的工具嗎？

0熱度

2回答

增量構建的PC Lint - 帶有最新代碼的錯誤

我有一個增量構建的CI設置。作爲靜態檢查的一部分，我計劃配置增量PC Lint報告 - 忽略所有其他Lint報告的報告應僅提供新代碼中引發的錯誤。有沒有什麼工具可以做到這一點？探索相關領域的任何提示都會對我們有所幫助。我試着報告diff'ing。但由於行號會與上次簽入有所不同，因此不會引入實際的增量錯誤。我爲我的項目構建使用Linux，並使用Windows進行PC Lint報告生成。問候，