The goal of static analysis is to derive a computable semantic interpretation at some point.
Sometimes a loss of precision is necessary to make the semantics decidable (see Rice's theorem, halting problem).