Static program analysis/

fonte: https://web.archive.org/web/20221028041550/https://en.wikipedia.org/wiki/Static_program_analysis