Modified darm's APIs, so that it can get values of registers and specified
memory addresses during handling taint propagation.