Flavio Toffalini

Probably something wired on my configuration. If I try with latest npm packets I can compile just fine and my issue w/ libxml2 seems resolved. Is the latest npm version...

I actually made it run :) I did a simple point to analysis that finds global objects containing function pointers, and then include indirect jumps where (a) the signature matches,...

For what it matters, you can close this comment :) Thanks

I try to write and read the point to information, but the program crashes. Here is a small snippet: ```C FlowSensitive* point_to_analysys = FlowSensitive::createFSWPA(pag); point_to_analysys->writeToFile("point_to.txt"); SVFUtil::outs() readFromFile("point_to.txt"); SVFUtil::outs()

I am not sure what you want me to try. I run this simple example: ```bash ./Debug-build/bin/wpa ./library.o.bc -ander -write-ander aaa.txt ./Debug-build/bin/wpa ./library.o.bc -ander -read-ander aaa.txt ``` No crash observed...

@JasonZhongZexin do you have updates for this issue?

Hi! thank you very much for the support. I know it is very tedious, but Windows is a boundary of my project. I will check asap. Thanks again :)

I suggest implementing a set with a tree-based structure, something like this (http://web.cs.wpi.edu/~cs2102/common/kathi-notes/set-impl-w-trees.html). With this implementation, you need a log(N) time to determine if a node has been already processed....