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 hashes)
Built Distribution
solfuse-1.0.3-py3-none-any.whl
(25.2 kB
view hashes)
