Interpretation is a static analysis technique that provide results by executing an abstract version of the analysed program. The operations made in the abstract program reflect those made in the actual program. The abstract program operates on abstract values, which are coarser than the actual values, but on which the computations are simpler. These executions in the abstract world can therefor...