pex - PexSymbolicValue.GetRawPathConditionString() 中符号的含义是什么？

Question

我正在使用 PexSymbolicValue.GetPathConditionString() 来获取 PexMethods 中的路径条件。我发现有一种方法 PexSymbolicValue.GetRawPathConditionString() 可以获取 S 表达式格式的路径条件，但我找不到在其输出中使用的符号的引用。此输出示例：“(Ceq (Ceq node null) 0)\r\n(Ceq (Ceq(select next node) null)0)\r\n(Clt (Add (select elem node)(Mul (select elem (选择下一个节点)) -1)) 1)\r\n”

Answer 1

所有这些符号的描述可在 ECMA-335 标准公共语言基础设施 (CLI) 分区 I 到 VI http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdf