An IDE Plug-in to detect security vulnerabilities in Infrastructure-as-Code Scripts - Tiago José Antunes Ribeiro (2021)