Static analysis of lists by combining shape and numerical abstractions.

Liqian Chen Renjian Li Xueguang Wu Ji Wang

Published in: Sci. Comput. Program. (2014)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
shape features
abstract interpretation
shape model
test generation
shape matching
regular expressions
java card
shape analysis
shape descriptors
shape representation
high level
test suite
data exchange
object oriented