[PATCH v3 00/12] Improvements to static checker invocation