Analysis is fine, false positive rate is under 20% for me now, maybe even under 10%.

I think the difference between analysis and codegen is that analysis is like going from point A to point B via as many routes as possible. Codegen requires picking one of few great routes.