static-analysis

0熱度

3回答

是否有一種方法可以使用正則表達式在代碼中搜索多個嵌套的if語句？例如，將定位的一個實例的表達if語句三層或更多層深與不同樣式（如果，如果/否則，如果/ ELSEIF /其他）： if (...) { <code> if (...) { <code> if (...) <code> } else if (...) {

7熱度

3回答

Findbugs和比較

我最近開始在我正在做的java構建中使用findbugs靜態分析工具。第一份報告帶有高優先級警告。作爲迷戀型的人，我準備好全力以赴。但是，我必須錯過一些東西。比較事情時，我會得到大部分警告。如下面的代碼： public void setSpacesPerLevel(int value) { if(value >= 0) { spacesPerLevel

68熱度

5回答

如何在Mercurial（hg）中列出存儲庫中的所有文件？

mercurial中是否有命令會列出當前在源代碼管理下的所有文件？我可以做一個dir /s列出我的文件夾和子文件夾中的所有文件，但我不知道哪些已被添加到我的存儲庫。我有各種排除的文件類型和文件夾，我想確認它們都沒有添加，然後在我的.hgignore文件中設置它們。

-1熱度

1回答

用於將C程序轉換爲控制流程圖的Java代碼

我需要用於將C程序轉換爲控制流程圖的java代碼。任何人都可以幫助我嗎？

11熱度

2回答

什麼時候全局靜態常量變量被初始化？

我試圖搜索網站的這個問題，但沒有發現這完全是，雖然這個問題被討論了很多... 我有這樣的聲明，以CPP文件，不在任何功能： static const char* gText = "xxxxxxxxxxx"; 雖然它有一個固定的大小，我從一個靜態分析工具（Klocwork的）警告，當我試圖把它複製到另一個字符*變量 - 對可能出界違例的： char xText[32]; SecureZeroM

4熱度

3回答

開源靜態代碼分析工具，用於C++

可能重複： What open source C++ static analysis tools are available? 哪個開源靜態C++（而不僅僅是C）代碼分析工具是最適合移植代碼到64位平臺？

1熱度

1回答

爲什麼這個代碼合同關係證明不了？

我有開始這樣的方法： public static UnboundTag ResolveTag(Type bindingType, string name, string address) { Contract.Requires(bindingType != null); var tags = GetUnboundTagsRecursively(bindingTy

11熱度

1回答

在代碼合同中使用Contract.ForAll

好的，我還有另一個代碼合同問題。我有一個接口方法的合同，看起來像這樣（爲清楚起見省略其它方法）： [ContractClassFor(typeof(IUnboundTagGroup))] public abstract class ContractForIUnboundTagGroup : IUnboundTagGroup { public IUnboundTagGroup[] Ge

7熱度

4回答

新語言的靜態代碼分析。從哪兒開始？

我剛剛獲得了一份新任務，看起來像是一個有趣的挑戰。客戶希望爲其內部開發的代碼風格檢查工具（即將被開源）編程語言在JVM上運行。語言語法非常像Java。客戶基本上希望我能生產類似checkstyle的產品。所以我的問題是，你會如何解決這個問題？給定一個清晰的標準，你會給客戶什麼建議？我想我有3個選擇寫的東西從頭開始。我更喜歡不這樣做，因爲它似乎已經解決了很多次這樣的代碼分析工具問題，所以必

3熱度

5回答

靜態檢查一個Java應用程序的鏈接錯誤

我有一個場景，我有一個庫編寫的代碼版本1，但我想運送庫的版本2。該代碼已發貨，因此不可更改。我擔心它可能會嘗試訪問存在於v1中但在第2版中已被刪除的類或成員。我想有可能編寫一個工具來做一個簡單的檢查，看看代碼是否會鏈接到較新版本的庫。我明白，即使代碼鏈接，代碼可能仍然非常破碎。我從另一方面考慮這個問題 - 如果代碼不能鏈接，那麼我可以肯定有問題。據我所見，我需要運行字節碼檢查引用，方法調用和字