TaintUtils for references, TRY wrapping for exception handling, MONITOR instrumented