An array content static analysis based on non-contiguous partitions.

Jiangchao Liu Xavier Rival

Published in: Comput. Lang. Syst. Struct. (2017)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
abstract interpretation
metadata
regular expressions
multimedia
java card
data sets
test suite
test generation
data flow
decision trees
learning algorithm
data mining
databases