A Tool to generate state-machine indicating invalid call-chain from Solidity source code.
Project description
SolFuse
A Tool to generate state-machine indicating invalid call-chain from Solidity source code.
Usage
usage: main.py [-h] [--custom] [--use_pre2] [--debug] [--print_stmt] [--print_on_constraints_found] [--print_executor_process] [--print_summary_process] [--print_executor_summary] [--print_state_machine] [--use_svg] [--print_statistic] filename image_path contract
positional arguments:
filename
image_path
contract
options:
-h, --help show this help message and exit
--custom, -c
--use_pre2, -p
--debug, -d
--print_stmt
--print_on_constraints_found
--print_executor_process
--print_summary_process
--print_executor_summary
--print_state_machine
--use_svg
--print_statistic, -s
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
solfuse-1.0.3.tar.gz
(23.8 kB
view details)
Built Distribution
solfuse-1.0.3-py3-none-any.whl
(25.2 kB
view details)
File details
Details for the file solfuse-1.0.3.tar.gz.
File metadata
- Download URL: solfuse-1.0.3.tar.gz
- Upload date:
- Size: 23.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.0 CPython/3.11.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 8be8c40088d6df80160e07e8981dcbdcf3ca394526a846ccb03e8c9667b6fcc3 |
|
| MD5 | 4a838a767d27368dca4ca40adea2c780 |
|
| BLAKE2b-256 | 38da30587fd20bba9219a24aed44ec739929818ffd8ad0dd5700dd8d5ff7064c |
File details
Details for the file solfuse-1.0.3-py3-none-any.whl.
File metadata
- Download URL: solfuse-1.0.3-py3-none-any.whl
- Upload date:
- Size: 25.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.0 CPython/3.11.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 1e7b7673d98f6f7ceeba4527d17561d5172feb59e83a6425d2da58e91778444c |
|
| MD5 | d3b07319788230aa5600cff504535890 |
|
| BLAKE2b-256 | f1b243016e2471c04d0ad75fa923b8ed585d4b1abd35c23f0d9db5187e61d669 |
