Dynamic analysis for logging call graphs and object properties