https://spazioit.com/pages_it/sol_inf_it/code_quality_it/a-new-static-analyzer-the-compiler/