040000 tree 84b5247bc9ae66517cd9703b9f6c00f172ce94f4	codechecker
040000 tree 740876054b5dcb945236a5f45f30936357ac8cdc	cpptest
040000 tree 10eea7ae8851097d80c8dde21098b373c667a5a3	eclair
040000 tree 95f4cb65d2583531466024dcc7433b0d5df54576	gcc
040000 tree 57a7a7c6e38d1af5c345d9fd21f9f63d835b2fe5	polyspace
040000 tree a6d86cbab155cb1a7614d2367f5f8d913e293312	sparse