SolidityDesignPatternAnalyzer

Анализатор схемы дизайна прочности

Утилита для распознавания шаблона проектирования на блокчейне посредством статического анализа кода

Этот Readme доступен на следующих языках:
Итальянский · английский

Таблица контента

1. Я уведомил
2. Информация о проекте
   • На основе
3. Используйте руководство
   • Предварительные условия
   • Как его использовать
4. Лицензия
5. Библиография

Я уведомил

После степени проект претерпел разнообразие и улучшения, поэтому то, что описано в разработке тезиса, может не отражать более надежную.

Чтобы просмотреть проект в форме, описанном в разработке тезиса и самого тезиса, см. В frozen ветвь, нажмите здесь.

Информация о проекте

Анализатор схемы дизайна диплома является программным приложением, разработанным для моей диссертации для трехлетнего CDL в области компьютерных наук в Университете Катании.

Программное приложение и способность выполнять следующие операции:

• Обнаруйте, в рамках используемых лингвистических и зависимостей, все и двадцать два проекта, задокументированная в тезисе, относительный дескриптор которого включен в исходный код, и возможно, посредством комбинации общих элементов управления, определить новый дескриптор для распознавания дизайна будущих шаблонов;
• Опишите интеллектуальную контакт или извлечь полезную информацию для создания нового дескриптора;

(Вернуться к вершине)

На основе

• Питон
• Python-Solidy-Parser
• Python-Hsonschema
• matplotlib

(Вернуться к вершине)

Используйте руководство

Перед использованием приложения необходимо установить пристрастия.

Предварительные условия

Для установки сотрудников вы можете использовать пакет Python Installer под названием PIP :

• Как глобальные пакеты:

  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	Дополнительный параметр для операции analyze , которая представляет путь, абсолютный или относительный, файла или папки, содержащей Design Pattern Descriptor . Если вы опустите предопределенный путь, он будет использоваться.
-v, --verbose	Дополнительный параметр, который, если он поставляется, может печатать отладки в терминале, обычно не отображается.
-ai, --allow-incompatible	Дополнительный параметр, который определяет управление совместимостью версии Solidith, используемой в предоставленном файле. Принимает как ценности: 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 для получения дополнительной информации.

(Вернуться к вершине)

Библиография

• Что такое Ethereum?
• Документация.
• Официальный дом языка программирования Python.
• Еще один инструмент для распознавания языка.
• [Экспертный анализатор прочности для Python, построенный на вершине надежной грамматики Antlr4.] (Https://github.com/consensys/ python-solidy-parser)
• [Схема JSON- Дом схемы JSON.] (Https: // json- smerch.org/)
• [JSON DRACK-07.
• Реализация спецификации схемы JSON для Python.
• М. Ворер и У. Здон. «От языка, специфичного к домену, до кода: интеллектуальные контракты и применение шаблонов проектирования». В: Программное обеспечение IEEE 37.05 (набор 2020), с. 37–1. ISSN: 1937-4194. Doi: 10.1109/- Ms.2020.293470
• Lodovica Marchesi et al. «Модели проектирования для оптимизации газа в Ethereum». В: 2020 IEEE Международный семинар по блокированному программному обеспечению (IWBOSE) 2020.9050163
• Умные контракты проектируют шаблоны в экосистеме Ethereum и коде прочности.
• Паттерны смарт-контракта, написанные на Solide, сопоставленные для сообщества Good.
• Компиляция моделей и лучших практик для солидности языка программирования интеллектуального контракта.
• Максимилиан Вурер и Уве Здун. «Умные контракты: модели безопасности в экосистеме Ethereum и прочности». В: Международный семинар 2018 года по разработке программного обеспечения, ориентированной на блокчейн (IWBose). - Март 2018 г., стр.2–8.doi: 10.1109/iwbose.2018.8327565
• Contracts Openzeppelin - это библиотека для безопасной разработки смарт -контракта.

(Вернуться к вершине)