Farion – Automated exploitability analysis for vulnerabilities