Secure design defects detection and correction