Static analysis involves things like partial evaluation, dataflow analysis, and type inference. None of this is covered in the T3X book.