efficient static mining
refctoring for dynamic analysis