About the CodeQL for research

Today, GitHub has a GitHub Security Lab for protecting source code on it.