kk

point to set is empty

5

Hi, I am using SVF 2.7 to do point to analysis on the following code. ``` #include struct info{ int* value; }; void mycheck1(void *buf){} void mycheck2(void *buf){} void mycheck3(void...

point-to result does not change after assignment

7

Hi, I am using SVF 2.7 to perform flow-sensitive point-to analysis on the following code. ``` int main() { int a = 1; int *p = &a; int * q;...

How to know whether the current pointer points to some global variable?

2

I am using the point to analysis of SVF. ```SVF::FlowSensitive *fsp = SVF::FlowSensitive::createFSWPA(pag);``` After getting the points to set of a variable by ``` // some const llvm::Value *inst //after...

loop does not terminate in debug mode, but terminates in release mode.

2

I am using SVF 2.7 on a simple IR file. In the debug version of SVF 2.7, I find a loop invocation in the following two functions. This loop invocation...

SVF-example project reports error when compiled with LLVM under Debug mode.

8

I compile [SVF-example](https://github.com/SVF-tools/SVF-example) project with LLVM 14 under Debug mode. The program meets an error: svf-example: /home/yuffon/data/programs/svf2.9-debug-install/include/svf/SVF-LLVM/LLVMModule.h:219: SVF::SVFInstruction *SVF::LLVMModuleSet::getSVFInstruction(const SVF::Instruction *) const: Assertion `it!=LLVMInst2SVFInst.end() && "SVF Instruction not found!"' failed....

Dear authors, Have you released your pretrained model for the hybrid training paradiagm? If yes, could you send me a link please?

Phasar does not support exit() as exit points when calling getAllExitPoints()

2

I am using an old branch f-IDESolverStrategy because I need PropagateOntoStrategy in my project. (https://github.com/secure-software-engineering/phasar/tree/f-IDESolverStrategy) Recently, I find that Phasar does not support using `exit()` as exit point of function....

How to get point-to set?

2

Hi, I am using SVF to get point-to set. I see in ``` AliasResult BVDataPTAImpl::alias(const PointsTo& p1, const PointsTo& p2) { PointsTo pts1; expandFIObjs(p1,pts1); PointsTo pts2; expandFIObjs(p2,pts2); if (containBlackHoleNode(pts1) ||...

Dataflow facts disappear when using PropagateOntoStrategy in backward analysis

3

Hi, Recently, I meet one issue when using PropagateOntoStrategy (branch f-IDESolverStrategy) for backward analysis. My backward dataflow analysis is a specialized typestate analysis. Flow functions are as follows. call-to-return: killall...