Efficient Pattern-based Static Analysis Approach via Regular-Expression Rules.

Xiaowen Zhang Ying Zhou Shin Hwei Tan

Published in: SANER (2023)

Keyphrases

static analysis
regular expressions
dynamic analysis
pattern matching
source code
symbolic execution
malicious code
query language
java card
approximate matching
xml schema
finite automata
semistructured data
matching algorithm
string matching
test generation
xml documents
training data