CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security