clang static analyzer 的学习路径和 checker 的编写方法是怎么学习的？

[ic2y]

我需要使用 clang static analyzer 对源代码进行检查，以期发现潜在的问题。更重要的是：我需要自己能定制 clang static analyzer 的 checker ，来实现定制化的检查。

现在我看了符号执行这块，关于 svalbuilder 的，但是感觉一头雾水，找不到相应的资料。感觉自己完全是在瞎搞。我总结一下，觉得自身问题如下：

1.看不懂 svalbuilder 这块的代码

2.不明白 clang 在符号执行这块的操作的流程

3.找不到对应的资料和手册

4.完全没有学习章法。因为没有人带，也没有积累的材料，我是第一个搞这个的，感觉完全没有头绪。

这些问题该怎么解决呢？求大神指导一下。