Improving the accuracy of static analysis based on state partition.

Dalin Zhang Hailong Zhang Dahai Jin Yunzhan Gong

Published in: ISSRE (Supplemental Proceedings) (2013)

Keyphrases

static analysis
dynamic analysis
source code
state space
high accuracy
abstract interpretation
real world
high level
computational cost
regular expressions