MichelsonLiSA

MichelsonLiSA: A Static Analyzer for Smart Contracts written in Michelson language (Tezos Blockchain)

How to use MichelsonLiSA

The main class is MichelsonLiSA and it expects at least three paramaters:

-i path: the Michelson file to be analyzed
-o path: the output directory
-a analysis: the analysis to perform, where analysis is one of the following values:
- sign sign analysis
- ucci untrusted cross-contract invocation analysis
-d dump additional the analysis informations (optional)

-i mycontract.tz -o myoutputdir -a ucci -d

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.settings		.settings
michelson-lisa		michelson-lisa
.gitignore		.gitignore
.project		.project
LICENSE		LICENSE
README.md		README.md