• There's nothing wrong with alloca and using dynamic arrays is not
  possible at some times (eg. our aprintf).
• Enable further analyses.
• Drop some false positives and minor worries.