Static program analysis/

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