C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions.
Pengcheng Zhang
Feng Xiao
Xiapu Luo
Published in:
CoRR (2019)
Keyphrases
</>
regular expressions
pattern matching
query language
semi automatic
data sets
decision problems
data analysis
building blocks
tree automata