标签： objective-c clang abstract-syntax-tree llvm-clang
现在，我正在尝试为传递方法中的有效载荷NSDictionary创建静态分析器检查。先决条件是什么：该字典的键和值的类在编译时是已知的。
据我所知，从“在24小时内编写自己的检查程序”对话中，可以通过SVal来预测该值，我们可以判断该值存在，不存在或未知。但是也许我们可以更具体些？没有太多详细的信息，所以我只剩下AST分析，但是也许有更好的方法吗？
SVal