angr-claripy源碼分析（一）

claripy是一個符號求解引擎，而此次學習重點關注值集分析領域。要想改進利用這部分功能，還是需要深入分析代碼，瞭解其實現細節及處理邏輯。 （一）首先對claripy的各個包做了簡單的分析 Ast包 抽象語法樹包創建base基類，一個關於參數的操作樹。不能直接初始化，二十使用一個構造函數構造葉節點，然後建立更復雜的表達式。 AST對象有hash識別方法，意味着兩個對象可能一樣。這可以節省內存。  

>>阅读原文<<