This ticket is starting its life very much in the the refinement pipeline. There's no clear goal at the moment beyond considering and discussing topics along the line of:

• What static checkers available
• Do they overlap?
• Strengths and weaknesses of different checkers
• Setup costs
• Maintenance and adherence costs
• What our current setup acheives
• and many more