arguard

？ Arguard

GO的Linter檢查對功能警衛（又稱合同）的靜態調用參數。

例子

假設您有以下功能：

 func div ( n , d float64 ) float64 {
  if d == 0 {
    panic ( "denominator must not be zero" )
  }
  return n / d
}

然後您這樣稱呼：

 div ( userInput , 0. )

即使我們不知道userInput ，我們也可以看到此函數調用在運行時會感到恐慌，因為第二個參數始終為零。

Linter使用安全的部分代碼執行和黑魔法找到並報告了這些地方。

？安裝

go install github.com/orsinium-labs/arguard@latest

用法

arguard ./...

可用標誌：

• -contracts.follow-imports ：將此標誌設置為False以不從導入的模塊中提取合同。換句話說，只有在合同和功能調用的功能位於同一分析的軟件包中，才會報告合同（警衛）違規行為。對於更好的性能很有用。
• -contracts.report-contracts ：為每個檢測到的合同發出一條消息。可用於調試，以查看林格是否檢測到合同。
• -arguard.report-errors ：設置此標誌以顯示合同執行期間的失敗。默認情況下，如果Arguard未能執行合同，則僅在沒有報告任何內容的情況下繼續前進。對於調試，了解為什麼未報告合同錯誤。

？ QNA

1. ？它如何工作？裡面有兩個分析儀。第一個檢測到法規中的安全執行合同（警衛）。第二個檢測到具有已知合同的功能的調用，提取靜態已知的參數，並執行可以使用Yaegi執行的合同。
2. ？什麼是警衛（合同）？在功能開頭的條件（只有其他合同才能在其之前進行），並進行安全檢查，並且身體只返回錯誤或呼叫panic 。
3. ？結果有多可靠？如果報告錯誤，很可能有錯誤。如果沒有報告錯誤，可能仍然存在錯誤。這是襯裡，而不是正式的驗證者。
4. ⚖️項目有多穩定？ GO中的靜態分析可能會很混亂，尤其是當我們也進行部分代碼執行時。 Linter可能會失敗，錯誤或不像可能的那樣聰明。儘管如此，它還是靜態分析儀，而不是生產依賴性，因此在任何環境中的任何項目都可以安全地使用它。但是請記住，仍然存在部分代碼執行，因此您可能不應該在不受信任的代碼上運行它，只是為了安全起見。
5. ？會發生破壞嗎？該項目遵循Semver。但是，每個版本，甚至是補丁程序，都可以開始報告代碼中的新違規行為。因此，從某種意義上說，每個版本都可能破裂。
6. ？是否有Golangci-lint集成？還沒有，但最終會。將任何分析供電的襯裡與Golangci-lint集成在一起很容易，並且Arguard是由分析驅動的。敬請關注。
7. ✏️是否有IDE集成？還沒有。當我們擁有Golangci-lint集成時，IDE集成將免費出現。
8. ？這是一個新主意嗎？該項目實現了交易的一件事，我的合同設計圖書館可以做到。交易本身是建立在世代智慧之上的，請參閱此時間表。
9. 有沒有GO API，以便我可以將其用作庫？是的。分析軟件包提供了一種本機組成分析儀的方式，這就是您可以使用該項目的方式。有關如何創建和組成多個analysis.Analyzer示例，請參見Main.Go。
10. ？ ‍？ 積極維護嗎？該項目以Unixway的最佳傳統具有很小且明確定義的範圍。我可能會不時回到它，並帶來我在不眠之夜期間提出的新有趣的想法，但是每天都沒有維護。如果今天起作用，明天就不會破裂，這要歸功於依賴關係的簡短清單和GO 1兼容性承諾。
11. ？如果我發現一個錯誤怎麼辦？分叉項目，修復錯誤，編寫一些測試，然後打開拉動請求。我通常在一天之內合併並發布任何貢獻。