100644 blob bee950074edfc8a1ec3bcf9f66f4da7524755461	CMakeLists.txt
040000 tree 4a75e0a395bf886c18597b7734f5b3a78b22d72c	cbmc
040000 tree 4af7806a433817a0d7bc0e2dbcbdef2d3b0ab1ce	checkincludes
040000 tree c8e1bbb45ea5251a0f34200efec49676f46e80bb	checkpatch
040000 tree ee4e33296e388bfa1af926530b2615b5daa143e4	checkspdx
040000 tree 543aa836d7ee6403280d1b5ec40621e64f88304e	clang-tidy
100644 blob 9515eb1432006cc10e07cf90809dd01a25d99aab	cppcheck-aarch64-platform.xml
040000 tree 18dfd4a6a585f2f0274d4235fe0589c58dedf8f7	cppcheck
040000 tree 3874365da762a95e7d9523bb650557cdc9284802	shrinkwrap