My analysis till chapter 5

I lost it in chapter 5, at the end I have suggestions for static analysis, I do not quite understand how to do it dynamically. The formula's and explanation in those chapters are quite difficult.