[rwth-security] GitHub Security Lab - CodeQL