angr-claripy源码分析（一）

claripy是一个符号求解引擎，而此次学习重点关注值集分析领域。要想改进利用这部分功能，还是需要深入分析代码，了解其实现细节及处理逻辑。 （一）首先对claripy的各个包做了简单的分析 Ast包 抽象语法树包创建base基类，一个关于参数的操作树。不能直接初始化，二十使用一个构造函数构造叶节点，然后建立更复杂的表达式。 AST对象有hash识别方法，意味着两个对象可能一样。这可以节省内存。  

>>阅读原文<<