“The method of modeling code by predicting line-by-line execution states and local variables.”