Archived

This project has been archived by its maintainers, and is no longer receiving any updates.

SolFuse

A Tool to generate state-machine indicating invalid call-chain from Solidity source code.

Usage

usage: solfuse [-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]
               [--use_proper_modifier] [--use_state_merging] [--die_into_pdb] [--out_stat_file OUT_STAT_FILE]
               filename image_path contract solc_path

positional arguments:
  filename
  image_path
  contract
  solc_path

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
  --use_proper_modifier
  --use_state_merging
  --die_into_pdb
  --out_stat_file OUT_STAT_FILE

Release files for SolFuse 1.1.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for SolFuse 1.1.0
File	Size	Uploaded
solfuse-1.1.0.tar.gz	173.3 kB	Apr 22, 2025	Details

Built distribution (wheel)

Table of built distributions (wheels) for SolFuse 1.1.0
File	Interpreter	ABI	Platform	Reset
solfuse-1.1.0-py3-none-any.whl 75.5 kB Apr 22, 2025	Python 3	none	any	Details

Total release size: 248.8 kB

Release files / solfuse-1.1.0.tar.gz

Download URL	solfuse-1.1.0.tar.gz
Size	173.3 kB
Tags	Source
SHA-256 checksum How to use checksums	`7e18c61f883d403d419d6c9b4004a3017e09e70901a01ee1bb39a5b62987651b`
BLAKE2b-256 checksum How to use checksums	`64f2c1d15be906521813b98a184a23fdd50b6f4db60f9b27995584782bf8377f`
Upload date	Apr 22, 2025
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`uv/0.6.16`

Release files / solfuse-1.1.0-py3-none-any.whl

Download URL	solfuse-1.1.0-py3-none-any.whl
Size	75.5 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`ab93cb91690c770be2bb43549844e38ff227a45361c8625e778348f5987283c6`
BLAKE2b-256 checksum How to use checksums	`a3a2250908da95af1379d4f9eb50a7219f07d8587c57ebd574371511f1a605d5`
Upload date	Apr 22, 2025
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`uv/0.6.16`