QuadraInspect: powerful tool for analyzing the security of Android applications