Static Analysis Of Software by Jean-louis Boulanger