Are you talking about DFA on straight Python? In principle this is possible, but given the complex semantics of language terms, this will be quite complex. Typ

Are you talking about DFA on straight Python? In principle this is possible, but given the complex semantics of language terms, this will be quite complex. Typically DFA is run on intermediate code in the optimising part of a compiler. Intermediate code is typically RISC-like idealised machine code. Each specific instruction is very simple and hence computing its effect on global data flow can easily be worked out.