Bán, Dénes Static Source Code Analysis in Pattern Recognition, Performance Optimization and Software Maintainability. [Thesis] (Unpublished)