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

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