Synopsys bought Code Dx, a company that provides solutions for detecting and fixing software vulnerabilities. Terms of the deal were not disclosed.