Login / Signup
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:
FMBC@CAV (2020)
Keyphrases
</>
static analysis
intermediate representation
dynamic analysis
source code
intermediate level
symbolic execution
java card
tightly coupled
abstract interpretation
test suite
data sets
service oriented
object models
database
case study
software engineering