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合同是安全智能合同开发的图书馆。

（返回到顶部）