How to Automatically Analyze Function (7 min)