SolidityDesignPatternAnalyzer

堅固設計模式分析儀

通過對代碼的靜態分析，可以識別區塊鏈設計模式的實用程序

此啟動文件以以下語言可用：
意大利·英語

內容表

1. 我通知
2. 項目信息
   • 基於
3. 使用指南
   • 先決條件
   • 如何使用它
4. 執照
5. 參考書目

我通知

學位後，該項目經歷了多種多樣的改進，因此，詳細的論文中所描述的可能不會反映出更可靠的。

要以論文和論文本身的精心製作中描述的形式查看項目，請參閱《 frozen分支》，請單擊此處。

項目信息

Solidity Design模式分析儀是為我的學位論文開發的軟件應用程序，該申請是為Catania大學計算機科學的三年CDL開發的。

軟件應用程序並能夠執行以下操作：

• 在論文中記錄的所有語言和依賴項中，在所使用的語言和依賴項中進行了二十個設計模式，其相對描述符包含在源代碼中，並且可以通過通用控件的組合來定義新的描述符，以識別未來模式的設計；
• 描述智能合同，或提取有用的信息以創建新的描述符；

（返回到頂部）

基於

• Python
• Python-soligy-parser
• python-hsonschema
• matplotlib

（返回到頂部）

使用指南

在使用應用程序之前，有必要安裝成癮。

先決條件

要安裝員工，您可以使用稱為PIP的Python安裝程序包：

• 像全球軟件包：

  pip install -r requirements.txt

• 通過虛擬環境：

  python3 -m venv /path/to/new/virtual/environment
  source /path/to/new/virtual/environment/bin/activate
  pip install -r requirements.txt

如何使用它

要使用分析儀，有必要提供一系列參數，請在此處列出：

範圍	描述
-h, --help	可選參數，如果提供，將為終端中的使用提供指南
-a, --action	僅接受analyze和describe值的強制性參數，具體取決於您要執行的操作。
-t, --target	代表包含固體源代碼的文件或文件夾的絕對或相對路徑的強制性參數。 如果提供了目錄，將執行modalità batch ，以保存單個文件中獲得的所有結果。
-d, --descriptor	代表包含Design Pattern Descriptor的文件或文件夾的路徑，絕對或相對的analyze操作的可選參數。 如果您省略了預定義的路徑，則將使用它。
-v, --verbose	如果提供的話，可以打印調試登錄終端的可選參數，通常不會顯示。
-ai, --allow-incompatible	一個可選參數，該參數確定了所提供的文件中使用的Soliditch版本的兼容性。 接受為價值： ask ， skip ， always 。 默認值： ask ，要求確認。
-p, --plot	可選參數，該參數確定摘要圖的顯示。 接受為價值： ask ， skip ， always 。 默認值： ask ，要求確認。
-pr, --print-result	如果提供的（如果提供）將摘要從終端上的分析打印中獲得的結果摘要。
-wr, --write-result	一個可選參數，該參數確定從單個文件分析中獲得的結果上的磁盤上的拯救。 接受為價值： ask ， skip ， always 。 默認值： ask ，要求確認。
-fr, --format-result	可選參數，以確定保存獲得的數據的格式。 接受為值： json ， csv 。 默認值： json 。
--debug-analysis	如果提供的（如果提供）將對AST進行調試分析。

例如，要分析智能合同以確定所有權模式的使用並需要執行命令：

python analyzer.py -a analyze -t ./source_code.sol -d ./Ownership_descriptor.json --print-result --write-result always --plot always

（返回到頂部）

執照

該軟件是根據MIT許可發布的。查看LICENSE以獲取更多信息。

（返回到頂部）

參考書目

• 什麼是以太坊？
• 堅固的文檔。
• Python編程語言的官方住所。
• 語言識別的另一個工具。
• [在強大的antlr4語法上建造的Python的專業固體解析器。
• [JSON計劃 - JSON計劃的故鄉。 ]（https：//json-scheme.org/）
• [JSON DRAFT-07發行說明。
• Python的JSON計劃規範的實施。
• M. Wohrer和U. Zdun。 “從特定於域的語言到代碼：智能合約和設計模式的應用”。在：IEEE軟件37.05（2020年），第37-1頁。 ISSN：1937-4194。 doi：10.1109/ - MS.2020.293470
• Lodovica Marchesi等。 “以太坊中氣體優化的設計模式”。在：2020 IEEE國際面向區塊鏈軟件工程（IWBOSE）2020.9050163
• 智能合約在以太坊生態系統和固體代碼中設計模式。
• 智能合同模式用solide編寫，整理為社區善良。
• 智能合同編程語言堅固性的模式和最佳實踐的彙編。
• Maximilian Wohrer和Uwe Zdun。 “智能合約：以太坊生態系統中的安全模式”。在：2018年針對區塊鏈的軟件工程（IWBOSE）的國際研討會。 - 2018年3月，第2–8.Doi：10.1109/iwbose.2018.8327565
• Openzeppelin合同是安全智能合同開發的圖書館。

（返回到頂部）