[rwth-security] PatchChecker - Web-based check for Windows privesc vulnerabilities