Це програма для Linux під назвою Oyente, останню версію якої можна завантажити як v0.2.7-Commonwealth.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою Oyente з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
Ойєнте
ОПИС
Тут можна знайти контейнер із налаштованими необхідними залежностями. Однак зображення застаріло. Ми працюємо над розміщенням найновішого образу на dockerhub для вашої зручності. Якщо у вас виникли проблеми з цим зображенням, спробуйте створити новий образ докера, витягнувши цю кодову базу, перш ніж відкривати проблему. Набір утиліт, розроблених для статті, міститься в misc_utils. Використовуйте їх на свій страх і ризик - вони здебільшого одноразові. Це вдосконалена версія інструменту, який використовується для паперу. Еталонні показники не призначені для прямого порівняння. Щоб запустити тести, найкраще використовувати контейнер докерів, оскільки він містить необхідний знімок блокчейну. У контейнері запустіть batch_run.py після активації virtualenv. Результати з’являються у файлі results.json після завершення тестування.
Функції
- Інструмент аналізу смарт-контрактів
- Оцініть договір привітання всередині контейнера
- Спеціальна збірка образу Docker
- Виконайте python virtualenv
- Встановіть Oyente через pip
- Встановіть z3 за допомогою прив’язок Python
Мова програмування
TypeScript
Категорії
Це додаток, який також можна завантажити з https://sourceforge.net/projects/oyente.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
