我在OCaml中實現了一種符號語言,並且一直在努力將我的s表達式樹翻譯成抽象語法樹。 的s表達式樹是 (* sexpr.mli *)
type atom =
| Atom_unit
| Atom_int of int
| Atom_sym of string
type expr =
| Expr_atom of atom
| Expr_lis
我正在使用PexSymbolicValue.GetPathConditionString()來獲取PexMethods中的路徑條件。我發現有一種方法PexSymbolicValue.GetRawPathConditionString()以S表達式格式獲取路徑條件,但我找不到在其輸出中使用的符號的引用。 (Ceq(Ceq node null)0)\ r \ n(Ceq(Ceq(select next