Blockchain Smart Contracts Static Analysis for Software Assurance.

Suzanna Schmeelk Bryan Rosado Paul E. Black

Published in: SAI (2) (2021)

Keyphrases

static analysis
source code
dynamic analysis
regular expressions
test suite
malicious code
abstract interpretation
symbolic execution
software systems
java card
test generation
supply chain
software development