Open efferifick opened 3 years ago
Hello!
I believe your understanding is right and you are looking at the right place.
It would be great if you could share a minimal version of the source code or the llvm-ir code so I can investigate the issue further.
Hello,
I am attempting to use
cclyzer-souffle
to find out the points-to sets of some field variables in a class. I have successfully installedcclyzer-souffle
and I have also ran it, but I have some problems understanding the output. Can someone help me? I believe thatcclyzer-souffle
may still be under active development, so if this it is the case that it is not ready for my use case, then I understand.So, I am attempting to find out what these fields point to
I have reduced the class to the relevant fields, but do let me know if there is more information that I can provide to make the example clearer.
I have compiled this class to a human readable llvm-ir file and I believe that the fields are represented here:
Now, there is a method that just deletes these fields:
I believe I can get the information about which abstract memory location these fields point to by looking at the llvm-ir in this method and then looking at the
results/
directory and finding out the appropriate relation for these variables.Here is the llvm-ir:
Now, I am not an expert in LLVM-IR, but from what I can understand, the argument to
%5
is the pointerfFields
and%8
is the fieldfFields
casted toi8*
.I am running the context insensitive analysis and I see the following files which I believe may have the results I am interested in:
But I cannot find the variables in these files. Can someone help me find out how to determine what
fFields
may point to?Thanks and good work!