Static Analysis Tools Applied to Smart Contracts.

Mirko Staderini András Pataricza Andrea Bondavalli

Published in: LADC (Companion) (2021)

Keyphrases

static analysis
dynamic analysis
source code
pattern matching
database
domain knowledge
end users
database applications
malicious code