Re: [Dlteam-list] Static Analysis: An introduction