Research-Based Walk-Through of an Uninitialized Local Variable Static Analyzer