Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts.

João Santos Reis Paul Andrew Crocker Simão Melo de Sousa

Published in: CoRR (2020)

Keyphrases

static analysis
intermediate representation
dynamic analysis
source code
intermediate level
symbolic execution
tightly coupled
abstract interpretation
regular expressions
java card
intermediate representations
object models
test suite
data sets
viewpoint
image analysis