A serial of tools to analyse, debug and profile C source code