Digging into the sample code, it does not look like valid C code: The function
DokanLoop for instance is once declared as taking an argument of type
void*, and once taking an argument of type
PDOKAN_INSTANCE, which is a pointer to a structure.
You can check for instance on godbolt that a reduced sample matching the source code you try to analyze does not compile: https://godbolt.org/z/mVXMil
It probably happens that the compiler you use, with the options you use, allows this code to pass. But since it’s not valid code, we don’t support it.
We won’t just stop the analysis on this invalid code. We will continue to analyze the rest of the files, and so you may get some valuable data out of it, but my suggestion to move forward with this, since you seem to own this source code, would be to correct it and try to analyze again.