A Memory Model for Static Analysis of C Programs.

Zhongxing Xu Ted Kremenek Jian Zhang

Published in: ISoLA (1) (2010)

Keyphrases

static analysis
high level
computational model
database
objective function
error rate
associative memory
data model
mathematical model