CAD support for Security and Robustness Analysis of Safety-Critical Automotive Software