I found a great tool by RiskSense to check if a Windows machine is vulnerable to the DoublePulsar / MS17-010 exploit (currently making headlines due to the WannaCry ransomware.) The tool is great, however it only…