Github Code Scanning: vulnerability scanner by Justin Hutchings