developing static analyzer based on clang tools