RIPS static source code analyser - The Spanner