ValueFlow: improved analysis in for loops to avoid fp