[Dlteam-list] Static Analysis: An introduction