PyPI page
Home page
Author:
None
License:
GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/> Everyone is permitted to copy and distribute verbatim copies of this lic...
Summary:
A Tool to generate state-machine indicating invalid call-chain from Solidity source code.
Latest version:
1.1.0
Required dependencies:
disjoint-set
|
pdbp
|
pygraphviz
|
rich
|
slither-analyzer
|
solcix
|
z3-solver
Downloads last day:
0
Downloads last week:
5
Downloads last month:
27