C++ 调用checkBranchCondition的路径条件

我想得到程序中每个可能分支的路径约束

假设我有一个简单的程序

int x;
cin >> x;

if (x > 0) {
    cout << "Path A";
}
else {
    cout << "Path B";
}

intx；
cin>>x；
如果（x>0）{
听起来你想写一个检查或其他工具。除非你想浪费20年的时间自己写一个编译器。@JesperJuhl OP实际上是指通过标记使用llvm，但我同意问题本身完全不清楚。OP你应该编辑你的问题，让它更清楚。