Open JukMR opened 1 year ago
Ping
I was alerted about this issue by @hajduakos. I'll look into it this week.
@rgrig thanks, it's basically when the functions are actually pointers inside a C structures. We couldn't find a way to specify a rule/pattern how to catch them.
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
[x] The version of infer from
infer --version
.[x] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.
[x] Which command you ran, for example
infer -- make
.[x] The full output in a paste, for instance a gist.
[x] If possible, a minimal example to reproduce your problem (for instance, some code where infer reports incorrectly, together with the way you run infer to reproduce the incorrect report).
Infer version v1.1.0-669338131
OS:
Linux 5.15.81-1-MANJARO
Topl cannot detect the call to a function pointer located in a struct. Here is a simple example:
I am particularly trying to detect the line
(my_struct->func_to_void) (1);
but without any success.The property i'm using:
I am running topl with:
Output of the command:
CC: @dgutson