Statically - basically just parsing the code into an AST and then walking through the tree to collect information about variable usage and definitions.