Finally finished TaintAnalysis for top-level vars. Also, the task of
resolving function ptr and creating context sensitive callgraph has been
isolated into a separated pass PreciseCallGraph