[GSoC 2017] Better Loop Handling in Clang Static Analyzer - proposal

Hello,

I would like to propose “Better Loop Handling in Clang Static Analyzer” as my project for this years GSoC.

Kindly share your thoughts and help me improve this initial version of my proposal.

Best regards,

Peter