Skill Exchange›Browse by domain›IT & Software›Software Quality Assurance & Testing›Code Analysis & Verification
Code Analysis & Verification
A skill group in IT & Software › Software Quality Assurance & Testing: 25 skills, 23 of them carrying a SynapseScope Skill Rating, named in 11,249 open US roles at the latest reading.
| Skill | Organisation rating | Open roles | Median salary |
|---|---|---|---|
| SonarQube | Invest | 2,921 | $137,500 |
| Code Analysis | Not rated | 2,832 | $137,500 |
| Static Code Analysis | Invest | 2,831 | $157,500 |
| Formal Verification | Invest | 1,570 | $182,500 |
| Compatibility analysis | Maintain | 559 | $107,500 |
| Model Checking | Maintain | 110 | $157,500 |
| Bug Prediction and Prevention | Invest | 101 | $157,500 |
| Training Data Quality Validation | Invest | 95 | $147,500 |
| Code Profiling | Maintain | 69 | $142,500 |
| Code Coverage Analysis | Invest | 62 | $142,500 |
| JSON schema validator | Maintain | 25 | — |
| Infrastructure-as-Code Testing | Invest | 21 | $182,500 |
| Test Impact Analysis | Invest | 18 | $197,500 |
| Container Image Security Scanning | Invest | 15 | — |
| AI-Driven Test Prioritization | Invest | 5 | — |
| Observability-Driven Testing | Invest | 5 | — |
| Deepsource | Monitor | 4 | — |
| IBM Rational PurifyPlus | Migrate | 2 | — |
| Software Supply Chain Testing | Invest | 2 | — |
| Isabelle | Maintain | 1 | — |
| Secure Code Review Automation | Invest | 1 | — |
| Logical Error Pathways | Not rated | — | — |
| Quantum Software Testing | Monitor | — | — |
| Software Component Analysis | Invest | — | — |
| WebPathLab | Monitor | — | — |
← Software Quality Assurance & Testing · IT & Software · All domains