octoscan: A static vulnerability scanner for GitHub action workflows