SSGeek

icon location I'm a systems software research, with major interests in system security. I do love programming, but I'm mostly thrilled by research and continued learning.

Results 3 comments of SSGeek

Unable to construct SVFG

Thank you for the prompt response. Here I attach the zipped [mpktest-bfec73d5f75514f6..zip](https://github.com/SVF-tools/SVF/files/7004149/mpktest-bfec73d5f75514f6.zip) files: I ran them with the -fspta option. One file doesn't construct the SVFG at all, the other...

Using SVF as in-source LLVM library

> Could it be that the transformations are destroying some `Value`s that SVF expects to exist? I thought so, but then I don't know how to make it work. I...

Using SVF as in-source LLVM library

I am trying to do a simple points-to analysis for constant arrays. I agree, rebuilding every time will become expensive. I was considering the second option, and gonna try it....