Unable to run context-sensitive pointer analysis

[theeshaan]

I wish to run context-sensitive pointer analysis using SVF. However, I am unable to find the way to do so even after looking at the wiki.

Currently I am trying to run Demand-Driven Points-To analysis, as follows:

"$LLVM_PATH/opt" -S -passes='internalize,globaldce' -internalize-public-api-list=main $filepath.bc -o $filepath.opt.bc
"$SVF_PATH/dvf" -query=all -cpts -cxt -print-all-pts -dump-callgraph $filepath.opt.bc > $filepath.pta`

The documentation states that the -cxt flag enables Demand-driven context- flow- sensitive analysis, but on analyzing the following program:

#include <iostream>

struct Obj {
    int value;
};

Obj* id(Obj* p) {
    // Identity function
    return p;
}

int main() {
    Obj a;
    Obj b;

    Obj* pa = id(&a);  // Call context 1
    Obj* pb = id(&b);  // Call context 2

    return 0;
}

The SVF output reports that pa points to {a,b}, which is context-insensitive output.

[yuleisui]

It works for me on my side.

#include <iostream>

extern void NOALIAS(void*,void*);

struct Obj {
    int value;
};

Obj* id(Obj* p) {
    // Identity function
    return p;
}

int main() {
    Obj a;
    Obj b;

    Obj* pa = id(&a);  // Call context 1
    Obj* pb = id(&b);  // Call context 2
NOALIAS(pa,pb);

    return 0;
}

clang++ -S -c -g -emit-llvm test.cpp -o test.ll
dvf -cxt -query=all -max-cxt=3 -flow-bg=10000 -cxt-bg=10000 test.ll

[Context Sensitive DDA] Checking Z7NOALIASPvS
SUCCESS :Z7NOALIASPvS check <id:44, id:45> at (CallICFGNode: { "ln": 20, "cl": 1, "fl": "test1.cpp" })