Automated detection of Broken Access Control vulnerabilities based on enhanced OpenAPI specifications - View it on GitHub