-
Type: Improvement
-
Resolution: Unresolved
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
13
-
StorEng - Refinement Pipeline
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