Static Analysis - David Pichardie (Springer International Publishing, 2020)