https://spazioit.com/pages_en/sol_inf_en/code_quality_en/a-new-static-analyzer-the-compiler/