Vulnerabilities in Auto-Maskin software