Massive commit: generates Taint objects for external and internal classes, instruments external calls, initializes taint of reference params