《CLANG STATIC ANALYZER- A Checker Developer's Guide》值部分

最基本的類是SVal類，可以表達各種符號化值，它有很多子類表達不同類型的符號化值，其中兩個主要的子類是MemRegion和SymExpr，分別用於處理內存區域和符號化表達式。 SymExpr類也常被稱爲symbols，表示未知的數值。 如果分析過程中一個值是已知的，則稱爲具體值。 MemRegion對象」regions」用於兩個目的： 1）在分析器內存模型中作爲region的位置存儲binding

>>阅读原文<<