Automated Reasoning for Vulnerability Management by Design