Help with Static Analyzer issue

Hi, I’m trying to solve the issue that the analyzer don’t recognize that “0 % x == 0”, but I’m having trouble to find the correct files to look up. I really appreciate any kind of help. Thank you very much Paul and Gábor for your help.

Paulo Kataki