Pintool for tracing variable usage