Patent ID: 8352918
Filing Date: 2013-01-08
Classification: G06F

Abstract:
1. Method for analysing the source code of a computer program, the analysis pertaining to the validity of a set of properties at program points of the program by means of a plurality of analysers including at least one forward analyser and at least one backward analyser, the method comprising performing for each property in the set: an issuing phase in which a first analyser included in the plurality of analysers issues to a centralizer module an assumption on the validity of the property at a point of the program, the centralizer module storing the assumption in a database with an attribute indicating at least the first analyser and a status indicating that the assumption needs to be verified; a phase of verifying the assumption, stored in the database, in which a test analyser included in the plurality of analysers is selected to analyse the assumption in cooperation with the other analysers included in the plurality of analysers, the centralizer module determining which of the plurality of analysers are able to cooperate;