Compiler is the closest relative of a program analysis and verification system: they both manipulate programs taking into account the meaning of statement constructs.

• they have same initial phases

Compiler front-end = program analyzer front-end:

• tokenization (lexical analysis)
• parsing (syntax analysis)

Compiler front end (tokenization, parsing, creating abstract synresolving identifiers,

• Advanced compiler's course at EPFL