Extractor options This article was moved to "Extractor options" on the GitHub Docs site as of January 2023. About extractor options Setting extractor options with the CodeQL CLI Setting extractor options from files
