Static program analysis/

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