Re: [PATCH 00/13] Improvements to static checker invocation